invariantholdings

agda-mcp-server

通过 MCP 交互式加载 Agda 文件、查看证明目标并执行细分与补全操作