Language-cartridge IDE completeness: affinescript-mcp DAP, ephapax-mcp build-out

[hyperpolymath]

From the 2026-06-13 capability audit. Goal: each language cartridge offers a combined IDE-grade toolset (MCP + LSP-nav + build + debug + lint + format + docs). affinescript-mcp is the reference shape.

affinescript-mcp (cartridges/domains/languages/affinescript-mcp)

Has 12 tools: affinescript_compile/_check, _parse, _format, _lint, _hover, _goto_def, _complete, _explain_error, _stdlib, _syntax_ref, _snippet. Gap — the only missing IDE capability:

• Add a debug / DAP tool (e.g. affinescript_debug).

ephapax-mcp (cartridges/domains/formal-verification/ephapax-mcp)

Currently proof-only: Query Proof, List Proven Theorems, Type Check Expression, Analyze Proof, Validate Theorem. Gaps — build out the IDE layer to match the affinescript-mcp shape:

• build / compile tool
• linter
• formatter
• LSP-nav (hover / goto-def / complete)
• debug / DAP
• docs (stdlib / syntax-ref / snippet)

Notes

• Relatedly, the future proof-lsp AffineScript port (Port stack-orchestrator-mcp + proof-lsp adapters: TypeScript → AffineScript #46) may share LSP-nav machinery with ephapax-mcp — worth coordinating.

https://claude.ai/code/session_019tMcRS1Dm1nWjjYP4WvbJa