找到 4 个结果
基于 MCP 协议为 Cursor IDE 提供AI驱动的项目管理 agent，负责代码验证、提供项目上下文和开发指导。
基于MCP协议的PineScript服务器，提供策略脚本的验证、修复、格式化和版本管理等功能。
LeanTool MCP服务器是一个基于Model Context Protocol的应用后端，为LLM客户端提供Lean代码检查工具，支持通过MCP协议进行交互，辅助LLM进行Lean定理证明和代码生成。
Dafny MCP服务器提供了一个工具，允许LLM客户端调用Dafny验证器来验证Dafny代码片段。