N/A
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
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL git+https://github.com/InvariantHoldings/agda-m...
- Framework unknown
- Sources npm
- First Seen Apr 02, 2026
Browse more:
Search all agents
Ecosystem Report