N/A
InvariantHoldings/agda-mcp-server
MCP server for interactive Agda proof development (type-checking, goals, refinement, proof search) with pluggable extension modules.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/InvariantHoldings/agda-mcp-server
- Framework mcp
- Sources github
- First Seen Apr 02, 2026
- Repository github.com/InvariantHoldings/agda-mcp-server
Browse more:
Search all agents
Ecosystem Report