AGENTRANK
InvariantHoldings/agda-mcp-server
MCP server for interactive Agda proof development (type-checking, goals, refinement, pro…
40
/ 100
Stars
8
Freshness
100
Issue health
0
Contributors
0
Dependents
0