标签：代码验证
包含标签「代码验证」的全部资源
共 27 个结果
JavaScript验证工具
一个用于验证JavaScript代码的工具，通过命令行快速执行验证任务。
MCP功能集合验证工具
Nitro MCP Validate是一个GitHub Action，用于验证MCP功能集合是否符合Nitro注册表规范。
Claude Code CLI工具
cc-tools是一个用于Claude Code的CLI工具，提供自动化钩子事件处理、并行代码验证、会话跟踪和通知管理功能，适用于开发者工作流优化。
代码生成验证工具
AgenticAegis是一个实时验证AI生成代码的工具，提供语法检查、类型跟踪、安全扫描等功能，适用于开发过程中代码生成的质量控制。
模型上下文协议工具包
langtools-mcp是一个模型上下文协议（MCP）服务器和客户端工具包，为LLMs和AI代理提供统一的静态分析工具访问，包括批量CLI检查器和LSPs。
Python验证工具
py-smart-verify是一个专业的Python验证CLI工具，集成了代码格式化、静态分析、类型检查和智能测试功能，适用于Python项目的质量保障。
四重共识代码评估服务器
Tetrad是一个高性能的MCP服务器，通过四重共识协议（Codex、Gemini CLI、Qwen和Claude Code）验证AI生成的代码，适用于代码质量控制和团队协作开发场景。
Go代码验证工具
Governor是一个为Go项目开发提供的统一验证、分析和审计工具，支持命令行界面和AI辅助开发的MCP服务器。
Smalltalk代码验证工具
用于验证和检查Tonel格式Smalltalk源代码的工具，确保AI生成的代码在加载到Smalltalk环境前的正确性。
MCP服务器目的验证器
一个验证系统，用于验证MCP服务器的实际实现是否与其README文件中记录的目的相匹配。
规则注入与验证系统
一个基于FastAPI的自动化规则注入和代码验证系统，用于在Claude Code中自动检测并应用Global/Team/Project Rules，并对生成的代码进行规则验证。
代码模式验证工具
Pattern Police MCP Server 是一个用于验证 TypeScript/JavaScript、Java 和 Vue.js 代码中设计模式的工具，支持检测50多种设计模式、SOLID原则和代码异味。
Silverstripe代码验证服务
一个实时验证AI助手生成的Silverstripe 6 PHP代码的服务，用于捕获从Silverstripe 5到6的常见迁移问题。
代码验证服务
MCP as a Judge 是一个行为MCP，通过在计划、代码变更和测试实施阶段强制执行基于LLM的评估，确保AI编程助手生成更安全、更高质量的代码。
代码验证工具
MCP as a Judge 是一个行为型MCP，通过要求显式的LLM评估来增强AI编码助手，确保代码的安全性和高质量。
VTK API验证工具
通过Model Context Protocol (MCP)对生成的VTK Python代码进行自动验证，确保API调用的准确性和正确性。
Go代码风格验证服务
一个基于Uber Go风格指南的代码验证服务，用于检查Go代码是否符合规范。
代码生成QA平台
一个可重用的QA平台，用于评估代码生成MCP服务器，通过可执行证明验证生成的代码。
代码验证工具
MCP Validator是一款基于AI的代码、测试、架构和提示验证工具，支持多种编程语言，适用于开发环境中的代码质量检查和优化。
Plantuml验证服务
一个用于验证Plantuml代码的MCP服务器，提供详细的错误信息，支持通过Docker和SSE方式使用。
代码验证工具
一个在Claude Code工作流中使用的MCP服务器，通过OpenAI Codex验证实现计划，提前发现架构问题、缺失依赖和最佳实践违规。
EDS开发服务器
一个用于加速AEM Edge Delivery Services开发的MCP服务器，提供代码生成、验证和指导功能，无需API密钥即可在兼容IDE中使用。
代码验证服务器
Elenchus是一个基于模型上下文协议（MCP）的服务器，通过验证者与批评者的辩论循环实现对抗性代码验证，适用于多语言代码的安全性和正确性检查。
ryOS开发辅助工具
一个TypeScript MCP服务器，用于在Cursor IDE中辅助ryOS开发，提供代码验证、设计检查和哲学指导等功能。