agda-mcp
01MCP server Claude CodeCodexCursor +2
An MCP server for Agda's interaction protocol. Runs locally from the agda-mcp npm package.
not rated 0 2d ago A
tokens not measured
original MIT
agda-proof
02Skill Codex
Develop and inspect on-disk Agda proofs with agda-mcp: typecheck modules, inspect holes and constraints, infer or normalize expressions, and refine, case split, or search for proofs. Use for Agda source and interaction failures; not Lean, Coq, general dependent-type explanations, or development of the MCP server…
not rated 0 2d ago A 72 tokens
original MIT