N/A
peterthiemann/agda-mcp
Provides an MCP interface for Agda's JSON interaction protocol, enabling type checking and interactive editing of Agda modules with support for workspace management and non-blocking operations.
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/peterthiemann/agda-mcp
- Framework mcp
- Sources glama
- First Seen Jul 21, 2026
- Repository github.com/peterthiemann/agda-mcp
Browse more:
Search all agents
Ecosystem Report