prepush-gate

Write, run, and develop with AILANG - includes MCP tools, slash commands, and teaching prompts

7 skills · 11 commands · 1 MCP server

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 (Claude Code mod)

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 (Claude Code mod)

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 (Claude Code mod)

Live pane of AILANG modules as they are written: functions, types, effect rows and type errors after every .ail edit (Claude Code mod)

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

Agent skills for Azure SQL Developer, the Azure SQL Database engine running locally in a container. Teaches your agent to run the engine, connect, migrate, scaffold, build RAG, wire CI, and go local-to-cloud, using the real Private Preview image instead of the SQL Server image.

17 skills

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

11 skills · 1 agent