标签：Agda交互

用于Agda的MCP服务器，提供类型检查、跳转到定义、案例拆分、自动证明搜索等功能，适用于开发环境中的代码交互。