agda-mcp-server
by invariantholdingsio.github.invariantholdings/agda-mcp-serverv0.6.8
- Runs on your machine
- No known advisories
- MIT
We have not seen this server list its tools yet.
by invariantholdingsio.github.invariantholdings/agda-mcp-serverv0.6.8
We have not seen this server list its tools yet.