dreamlinuxer

agda-mcp

在 Claude Code 等客户端中直接进行 Agda 类型检查、定义跳转与自动证明辅助