peterthiemann/agda-mcp
v0.5.0MIT
Develop on-disk Agda proofs with semantic MCP tools and an incremental proof workflow.
| Version | Commit | First seen |
|---|---|---|
| 0.5.0latest | 18f8f9afaf11 |
Develop on-disk Agda proofs with semantic MCP tools and an incremental proof workflow.
| Version | Commit | First seen |
|---|---|---|
| 0.5.0latest | 18f8f9afaf11 |