{"id":"6be8d69c-c6cc-45b1-b02a-fe0026d019bb","slug":"npm-agda-mcp-server","name":"agda-mcp-server","description":"MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol","capabilities":["agda","mcp","model-context-protocol","proof-assistant","type-theory","interactive-theorem-proving"],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":36.8,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-04-15T01:04:08.020Z"}