InvariantHoldings/agda-mcp-server
Instructions file CodexOpenCode
AGENTS.md instructions for InvariantHoldings/agda-mcp-server, covering agents.md, purpose, architecture, testing and mcp harness.
1 23d ago A 1,796 tokens
InvariantHoldings/agda-mcp-server
MCP server Claude CodeCodexCursor
MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol. Runs locally from the agda-mcp-server npm package.
1 23d ago A
tokens not measured