agda-mcp
by DreamLinuxer
MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.
Details
- Publisher
- DreamLinuxer
- Status
- active
by DreamLinuxer
MCP server for Agda, providing type checking, go-to-definition, case splitting, auto proof search, and more directly from Claude Code or any MCP client.