察元AI能力广场 · MCP 服务器

SpecLock - AI Constraint Engine

作者 sgroy10

AI约束引擎，内置补丁防火墙及代码审查工具，支持多种AI开发环境

详细介绍

SpecLock 是一个集成了 AI 约束引擎与补丁防火墙的 MCP 服务器，提供 42 种工具以增强代码安全。它支持差分原生审查、规格编译器及类型化约束，能针对代码变更给出允许、警告或阻止的判定。该工具兼容 Claude Code、Cursor 等主流 AI 编程助手，并具备 Python SDK 及 ROS2 支持。非常适合需要严格代码审查流程和安全保障的高级开发团队使用。

智能体编排 对话助手 命令行 编程开发 大模型 安全

安装方式

npx -y @smithery/cli install sgroy10/speclock

同类MCP 服务器推荐

• pdf-mcp — MCP服务器，为PDF提供混合检索、OCR及图表解析等RAG功能
• rea — 使用智能体逆向工程任何目标，从应用行为到原生二进制文件。
• n8n — 拥有原生AI能力的公平代码工作流自动化平台，支持400多种集成与自托管。
• markitdown —
• gemini-cli — 将Gemini大模型能力直接引入终端的开源AI代理工具。
• servers —
• storybook —
• Scrapling — 自适应网页爬虫框架，支持从单次请求到大规模爬取

浏览全部MCP 服务器 · 返回察元AI首页