sourcerykit
★ 21
vs
agents-shipgate
★ 90
sourcerykit vs agents-shipgate
sourcerykit：SourceryKit（即 Provably SDK）是一个 Python 库，为任何 Python 代理集成了一个确定性的评估层。它记录出站 HTTP 调用，根据可信记录评估声明，并强制执行端点策略，以确保代理在定义的边界内运行。；agents-shipgate：Agents Shipgate 是一个开源的命令行工具和 GitHub Action，作为 AI 生成代理能力变更的确定性合并门。它执行本地优先的静态工具使用就绪性审查，扫描各种代理工件，以确保在合并前具备明确的审批策略、范围覆盖和幂等性证据。
01
简评
sourcerykitSecurity & Safety · ★ 21
确保 LLM 代理遵守预定义的安全性策略和可信端点。
agents-shipgateSecurity & Safety · ★ 90
在合并拉取请求前，审查和验证新增或更改的代理工具定义。
02
并排对比
字段
sourcerykitagents-shipgate分类
安全与合规
安全与合规
Stars
★ 21
★ 90
许可证
NOASSERTION
Apache-2.0
安装方式
git clone [email protected]:ProvablyAI/provably-python-sdk.git && pip install -e ./provably-python-sdk
pipx install agents-shipgate
更新时间
3天前
5天前
开源
是
是
标签
Python SDK, LLM 代理, 可验证的防护栏
AI 代理, 工具使用就绪, 静态分析
03
功能特性
sourcerykit01拦截并检查出站 HTTP 调用，确保只访问可信端点。
02捕获并存储所有 HTTP 请求和响应到 PostgreSQL 数据库中。
03使用确定性比较，根据经过验证的索引值评估代理声明。
04与主流 LLM 框架和 SDK 无缝集成，例如 OpenAI、LangChain 和 LlamaIndex。
agents-shipgate01作为 AI 生成代理能力变更的确定性合并门。
02执行本地优先的静态分析，无需代理执行或调用 LLM。
03扫描并验证来自各种来源（MCP、OpenAPI、OpenAI SDK、LangChain、CrewAI 等）的工具定义。
04生成全面的工具使用就绪性报告和包含合并裁决的 PR 评论。
05支持作为 GitHub Action 的 CI/CD 集成，实现自动化审查。
04
使用场景
sourcerykit↳确保 LLM 代理遵守预定义的安全性策略和可信端点。
↳根据 AI 代理的外部交互，验证其所做声明的准确性。
↳构建可审计的 AI 系统，其中每个外部调用和代理声明都可被记录和验证。
↳为代理实现可验证的防护栏，以防止未经授权的访问或数据篡改。
agents-shipgate↳在合并拉取请求前，审查和验证新增或更改的代理工具定义。
↳在 CI/CD 流水线中，强制执行代理操作的审批策略、范围覆盖和幂等性。
↳为安全和治理、风险与合规 (GRC) 审查员提供静态证据，无需执行代理代码。
↳如果未声明明确的安全保障措施，则阻止有风险的能力，例如金融交易。
↳与编码代理（如 Claude Code, Codex, Cursor）集成，在开发过程中实现自动纠正。
FAQ
常见问题
sourcerykit 和 agents-shipgate 有什么区别？
sourcerykit 和 agents-shipgate 都属于 Security & Safety 类别。sourcerykit 有 21 Stars，agents-shipgate 有 90 Stars。
sourcerykit 和 agents-shipgate 哪个更好？
最佳选择取决于你的具体需求。确保 LLM 代理遵守预定义的安全性策略和可信端点。 时选 sourcerykit，在合并拉取请求前，审查和验证新增或更改的代理工具定义。 时选 agents-shipgate。
sourcerykit 是免费的吗？
是的，sourcerykit 在 GitHub 开源（NOASSERTION）。
agents-shipgate 是免费的吗？
是的，agents-shipgate 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→