bolt

A linter, checker, and language server for Bend 2, written in Bend and paired with a VS Code extension. Configurable rules flag issues such as unused names, unfinished holes, suspicious recursion, formatting, and law coverage.

The language server combines compiler diagnostics with lint findings and provides hover information, go-to-definition, completion, references, rename, and semantic tokens. The creator shared the project and its rule-based workflow on X.