Search for a command to run...
1 MCPs · 0 installs total
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.
Unyly