unowned-dirty

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.

Commands for git commit workflows including commit, push, and PR creation

3 commands

Agentic QE (external: maintained in proffesor-for-testing/agentic-qe, pinned to v3.15.17): a quality-engineering fleet with 11 QE agents, 9 skills, 9 commands, the agentic-qe MCP server pinned to the plugin version, and the aqe-mod guard that refuses destructive operations on AQE learning data

9 skills · 9 commands · 11 agents · 1 MCP server

Claude Code mod: watch Headroom snip tokens off every request, with an animated band, a /headroom log and a running total.

Perform AI code review on Git diffs — supports workspace changes, branch ranges, and single commits with concurrent per-file analysis, codebase search, and deep context-aware review.

2 commands

Commands for git commit workflows including commit, push, and PR creation

3 commands

Essential developer skills including Git workflows, SQL optimization, error handling, code review, E2E testing, authentication, debugging, and monorepo management

11 skills · 1 agent