agda-mcp-server
Rank #99,312glama/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 #99,312 of 132,345 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 Apr 15, 2026.
Ranks ahead of 33,033 of 132,345 servers on MCP Toplist.
Use agda-mcp-server
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2FInvariantHoldings%2Fagda-mcp-server)<a href="https://mcptoplist.com/server/glama%2FInvariantHoldings%2Fagda-mcp-server"><img src="https://mcptoplist.com/badge/glama%2FInvariantHoldings%2Fagda-mcp-server.svg" alt="MCP Toplist: #99,312 of 132,345" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
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
- Who maintains agda-mcp-server?
- agda-mcp-server is maintained by InvariantHoldings, which publishes 2 MCP servers (0 total versions) tracked on MCP Toplist.
- Is agda-mcp-server listed on the Official MCP Registry?
- 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.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.