ailang-tools

gopls language server for the AILANG Go implementation — instant diagnostics, go-to-def, find references, hover types. Requires gopls on PATH.

LSP

AILANG language server (`ailang lsp --stdio`) for .ail files — diagnostics on save, hover types, go-to-definition, references, document symbols. Requires the `ailang` binary on PATH.

LSP

AILANG look for Claude Code: the AILANG version beside the prompt hint, compiler-flavoured spinner words (Unifying…, Inferring effects…), and /ailang for a pane with the logo.

After Claude edits or writes a .ail file, runs `ailang check` from the project root and adds any errors to what the model reads after the tool result, so it sees its own type errors without spending a turn. Works in interactive and headless (claude -p) sessions. Requires the `ailang` binary on PATH.

Unread AILANG fleet messages above the prompt: a band with the count and newest title, an /ail-inbox pane with Ack, a toast when one arrives. For the person only; message text never reaches the model. Requires the `ailang` binary on PATH.

Live view of AILANG as it is written: after each edit of a .ail file, a pane shows the module's functions, their types and effect rows (pure or !{IO,FS,...}) and any type errors, keeping the last good signatures beside a broken edit. A Claude Code mod (function hooks); requires the `ailang` binary on PATH.

Runs the repo's CI gates (gofmt on tracked Go roots, make lint, make check-file-sizes when defined) before `git push` / `gh pr create|merge`, and denies the push with the failing output. Skipped where there is no Go; AILANG_SKIP_PREPUSH=1 in Claude Code's launch environment skips it. Port of the pi extension of the same name. A convenience, not a control.

Status line for AILANG sprint work: the most recently touched in-progress sprint under .ailang/state/sprints, its milestones passed and the next one.

Warns when a git add/stash/checkout/restore/reset may sweep dirty files this session did not write (shared checkouts have several agents). A toast for the person, a note in the model's context; never blocks. Port of the pi extension of the same name.