ailang-go-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.

Refuses a shell, file, web fetch or MCP call that holds the signed-in account's email address beside a word that declares who is calling, so the address does not go out as a client's identity.

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

Systems programming with Rust, Go, C, and C++ for performance-critical and low-level development

3 skills · 1 command · 4 agents

Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales workflows.

35 skills · 1 MCP server

Get a defense supplier ready for a CMMC 2.0 Level 2 assessment. Three deterministic stdlib scripts: an SPRS scorer that weights all 110 NIST SP 800-171 Rev 2 requirements per 32 CFR 170.24 and blocks gaps that can never go on a POA&M; a POA&M closeout tracker that checks every deferred gap against the 180-day Conditional status deadline and the annual affirmation calendar; and a scope classifier that sorts the asset inventory into the 170.19 categories and blocks on assets missing from the SSP or cloud providers holding CUI without FedRAMP. Ships cs-cmmc-assessor agent, /cs-cmmc-readiness and /cs-sprs-score commands, 3 cited references and a readiness sign-off.

1 skill · 2 commands · 1 agent

Go-to-market skills for PMs: GTM strategy, growth loops, GTM motions, beachhead segments, and ideal customer profiles.

6 skills · 3 commands