ctrlrun
★ 27
vs
sourcerykit
★ 21
ctrlrun vs sourcerykit
ctrlrun：CTRLRun通过在代理决策与实际调用之间进行关键检查，确保AI代理的执行安全。它强制执行严格策略，防止意外操作、重复效应和模糊结果，并为每次交互提供可审计的收据。；sourcerykit：SourceryKit（即 Provably SDK）是一个 Python 库，为任何 Python 代理集成了一个确定性的评估层。它记录出站 HTTP 调用，根据可信记录评估声明，并强制执行端点策略，以确保代理在定义的边界内运行。
01
简评
ctrlrunSecurity & Safety · ★ 27
在DevOps中管理基础设施部署和操作，确保变更经过批准且可审计。
sourcerykitSecurity & Safety · ★ 21
确保 LLM 代理遵守预定义的安全性策略和可信端点。
02
并排对比
字段
ctrlrunsourcerykit分类
安全与合规
安全与合规
Stars
★ 27
★ 21
许可证
Apache-2.0
NOASSERTION
安装方式
pip install ctrlrun
git clone [email protected]:ProvablyAI/provably-python-sdk.git && pip install -e ./provably-python-sdk
更新时间
1天前
3天前
开源
是
是
标签
AI代理, 执行安全, 策略强制
Python SDK, LLM 代理, 可验证的防护栏
03
功能特性
ctrlrun01审批与精确动作绑定，拒绝变异或重放的审批。
02确保逻辑效应在线程、进程和主机间至多发生一次。
03将未知结果（AMBIGUOUS）与失败区分开来，阻止盲目重试。
04为每个执行操作生成可移植的JSON收据，记录执行者、内容和结果。
05默认采取“失败即关闭”策略，拒绝未知操作、缺失策略或缺失主体。
sourcerykit01拦截并检查出站 HTTP 调用，确保只访问可信端点。
02捕获并存储所有 HTTP 请求和响应到 PostgreSQL 数据库中。
03使用确定性比较，根据经过验证的索引值评估代理声明。
04与主流 LLM 框架和 SDK 无缝集成，例如 OpenAI、LangChain 和 LlamaIndex。
04
使用场景
ctrlrun↳在DevOps中管理基础设施部署和操作，确保变更经过批准且可审计。
↳强制执行防火墙规则或禁用保护等安全策略，对关键操作进行严格的人工审查。
↳处理退款等金融交易，确保金额符合策略，并防止重复退款。
↳控制身份和访问管理（IAM）操作，如授予角色，防止未经授权的权限升级。
sourcerykit↳确保 LLM 代理遵守预定义的安全性策略和可信端点。
↳根据 AI 代理的外部交互，验证其所做声明的准确性。
↳构建可审计的 AI 系统，其中每个外部调用和代理声明都可被记录和验证。
↳为代理实现可验证的防护栏，以防止未经授权的访问或数据篡改。
FAQ
常见问题
ctrlrun 和 sourcerykit 有什么区别？
ctrlrun 和 sourcerykit 都属于 Security & Safety 类别。ctrlrun 有 27 Stars，sourcerykit 有 21 Stars。
ctrlrun 和 sourcerykit 哪个更好？
最佳选择取决于你的具体需求。在DevOps中管理基础设施部署和操作，确保变更经过批准且可审计。 时选 ctrlrun，确保 LLM 代理遵守预定义的安全性策略和可信端点。 时选 sourcerykit。
ctrlrun 是免费的吗？
是的，ctrlrun 在 GitHub 开源（Apache-2.0）。
sourcerykit 是免费的吗？
是的，sourcerykit 在 GitHub 开源（NOASSERTION）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→