invariantholdings

agda-mcp-server

通过 MCP 交互式开发 Agda 证明，支持加载文件、查看目标与执行证明操作。