🔍
Agda MCP Server
MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol
0 installs
Trust: 37 — Low
Search
Ask AI about Agda MCP Server
Powered by Claude · Grounded in docs
I know everything about Agda MCP Server. Ask me about installation, configuration, usage, or troubleshooting.
0/500
Loading tools...
Reviews
Documentation
No README available