Verified record · from the answer index

agda-mcp-server

mcptested · static-verifiedscore 53/100signed passport ✓published 8d ago · verified 2026-10-24728 monthly downloads

MCP server for interactive Agda proof development — type-checking, goal inspection, case splitting, proof search, and more via the Model Context Protocol

Install

claude mcp add agda-mcp-server -- npx -y agda-mcp-server

npm:agda-mcp-server · published by invariantholdings · source repository