开发工具未说明官方级别未说明来源级核验
Agda MCP 099e49a6
MCP Server
用于Agda的MCP服务器，提供类型检查、跳转到定义、案例拆分、自动证明搜索等功能，适用于开发环境中的代码交互。
工具数
30
提示词数
0
GitHub Stars
1
资源数
0
代码导航PythonClaude开发工具ClaudeVS Code
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
代码导航PythonClaude开发工具Agda交互本地部署类型检查自动证明
支持客户端
ClaudeVS Code
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
工具数量（toolCount，工具数）
30
资源数量（resourceCount，资源数）
0
提示词数量（promptCount，提示词数）
0
权限和风险
未说明none部署方式未说明
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
安装前确认
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：installCommand