标签：代码验证

一个用于验证JavaScript代码的工具，通过命令行快速执行验证任务。

Nitro MCP Validate是一个GitHub Action，用于验证MCP功能集合是否符合Nitro注册表规范。

cc-tools是一个用于Claude Code的CLI工具，提供自动化钩子事件处理、并行代码验证、会话跟踪和通知管理功能，适用于开发者工作流优化。

AgenticAegis是一个实时验证AI生成代码的工具，提供语法检查、类型跟踪、安全扫描等功能，适用于开发过程中代码生成的质量控制。

langtools-mcp是一个模型上下文协议（MCP）服务器和客户端工具包，为LLMs和AI代理提供统一的静态分析工具访问，包括批量CLI检查器和LSPs。

py-smart-verify是一个专业的Python验证CLI工具，集成了代码格式化、静态分析、类型检查和智能测试功能，适用于Python项目的质量保障。

Tetrad是一个高性能的MCP服务器，通过四重共识协议（Codex、Gemini CLI、Qwen和Claude Code）验证AI生成的代码，适用于代码质量控制和团队协作开发场景。

Governor是一个为Go项目开发提供的统一验证、分析和审计工具，支持命令行界面和AI辅助开发的MCP服务器。

用于验证和检查Tonel格式Smalltalk源代码的工具，确保AI生成的代码在加载到Smalltalk环境前的正确性。

一个验证系统，用于验证MCP服务器的实际实现是否与其README文件中记录的目的相匹配。

一个基于FastAPI的自动化规则注入和代码验证系统，用于在Claude Code中自动检测并应用Global/Team/Project Rules，并对生成的代码进行规则验证。

Pattern Police MCP Server 是一个用于验证 TypeScript/JavaScript、Java 和 Vue.js 代码中设计模式的工具，支持检测50多种设计模式、SOLID原则和代码异味。

一个实时验证AI助手生成的Silverstripe 6 PHP代码的服务，用于捕获从Silverstripe 5到6的常见迁移问题。

MCP as a Judge 是一个行为MCP，通过在计划、代码变更和测试实施阶段强制执行基于LLM的评估，确保AI编程助手生成更安全、更高质量的代码。

MCP as a Judge 是一个行为型MCP，通过要求显式的LLM评估来增强AI编码助手，确保代码的安全性和高质量。

通过Model Context Protocol (MCP)对生成的VTK Python代码进行自动验证，确保API调用的准确性和正确性。

一个基于Uber Go风格指南的代码验证服务，用于检查Go代码是否符合规范。

一个可重用的QA平台，用于评估代码生成MCP服务器，通过可执行证明验证生成的代码。

MCP Validator是一款基于AI的代码、测试、架构和提示验证工具，支持多种编程语言，适用于开发环境中的代码质量检查和优化。

一个用于验证Plantuml代码的MCP服务器，提供详细的错误信息，支持通过Docker和SSE方式使用。

一个在Claude Code工作流中使用的MCP服务器，通过OpenAI Codex验证实现计划，提前发现架构问题、缺失依赖和最佳实践违规。

一个用于加速AEM Edge Delivery Services开发的MCP服务器，提供代码生成、验证和指导功能，无需API密钥即可在兼容IDE中使用。

Elenchus是一个基于模型上下文协议（MCP）的服务器，通过验证者与批评者的辩论循环实现对抗性代码验证，适用于多语言代码的安全性和正确性检查。

一个TypeScript MCP服务器，用于在Cursor IDE中辅助ryOS开发，提供代码验证、设计检查和哲学指导等功能。