peterthiemann

1 mods across 1 repository, 0 stars between them.

MCP server Claude CodeCodexCursor +2

An MCP server for Agda's interaction protocol. Runs locally from the agda-mcp npm package.

0 25d ago A tokens not measured original MIT