Claim listing
InvariantHoldings/agda-mcp-server
MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.