dreamlinuxer

agda-mcp

在 MCP 客户端中直接进行 Agda 类型检查、定义跳转与证明辅助。