agda-mcp-server
Rank #19065glama/InvariantHoldings/agda-mcp-server
A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.
agda-mcp-server is a Model Context Protocol (MCP) server published by InvariantHoldings. It ranks #19065 of 58,900 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. agda-mcp-server is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on May 27, 2026.
Ranks ahead of 39,835 of 58,900 servers on MCP Toplist.
Use agda-mcp-server
agda-mcp-server doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
InvariantHoldings
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is agda-mcp-server?
- A stateful Model Context Protocol server for interactive Agda proof development, enabling persistent sessions with goal-aware proof actions.
- Who maintains agda-mcp-server?
- agda-mcp-server is maintained by InvariantHoldings, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is agda-mcp-server an official MCP server?
- agda-mcp-server is not on the Official MCP Registry. It is listed on Glama.
- How many versions does agda-mcp-server have?
- agda-mcp-server ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for agda-mcp-server?
- The source code for agda-mcp-server is hosted at github.com/InvariantHoldings/agda-mcp-server.