sourcerykit
★ 21
vs
AegisFlow
★ 36
sourcerykit vs AegisFlow
sourcerykit：SourceryKit（即 Provably SDK）是一个 Python 库，为任何 Python 代理集成了一个确定性的评估层。它记录出站 HTTP 调用，根据可信记录评估声明，并强制执行端点策略，以确保代理在定义的边界内运行。；AegisFlow：AegisFlow 作为一个本地优先的策略网关，通过允许、审查或阻止编码代理的路由操作来对其进行治理。它通过策略执行和可验证的会话证据增强了代理的安全性和可靠性，防止了意外或有害的操作。
01
简评
sourcerykitSecurity & Safety · ★ 21
确保 LLM 代理遵守预定义的安全性策略和可信端点。
AegisFlowSecurity & Safety · ★ 36
通过只读策略安全地检查和分析仓库
02
并排对比
字段
sourcerykitAegisFlow分类
安全与合规
安全与合规
Stars
★ 21
★ 36
许可证
NOASSERTION
Apache-2.0
安装方式
git clone [email protected]:ProvablyAI/provably-python-sdk.git && pip install -e ./provably-python-sdk
curl -fsSL https://raw.githubusercontent.com/saivedant169/AegisFlow/v0.9.0/scripts/install.sh | AEGISFLOW_VERSION=v0.9.0 sh
更新时间
3天前
3天前
开源
是
是
标签
Python SDK, LLM 代理, 可验证的防护栏
编码代理网关, 策略执行, 安全网关
03
功能特性
sourcerykit01拦截并检查出站 HTTP 调用，确保只访问可信端点。
02捕获并存储所有 HTTP 请求和响应到 PostgreSQL 数据库中。
03使用确定性比较，根据经过验证的索引值评估代理声明。
04与主流 LLM 框架和 SDK 无缝集成，例如 OpenAI、LangChain 和 LlamaIndex。
AegisFlow01编码代理的本地优先策略网关
02对代理操作进行策略执行（允许、审查、阻止）
03验证签名的会话证据，实现透明度和可审计性
04支持OpenAI兼容和Anthropic Messages API
04
使用场景
sourcerykit↳确保 LLM 代理遵守预定义的安全性策略和可信端点。
↳根据 AI 代理的外部交互，验证其所做声明的准确性。
↳构建可审计的 AI 系统，其中每个外部调用和代理声明都可被记录和验证。
↳为代理实现可验证的防护栏，以防止未经授权的访问或数据篡改。
AegisFlow↳通过只读策略安全地检查和分析仓库
↳通过PR编写策略进行受控的拉取请求创建和审查
↳通过文档编写策略管理文档变更并进行审查
↳通过基础设施审查策略进行受控的基础设施规划和审查
↳通过SQL探索策略安全地探索和修改数据
FAQ
常见问题
sourcerykit 和 AegisFlow 有什么区别？
sourcerykit 和 AegisFlow 都属于 Security & Safety 类别。sourcerykit 有 21 Stars，AegisFlow 有 36 Stars。
sourcerykit 和 AegisFlow 哪个更好？
最佳选择取决于你的具体需求。确保 LLM 代理遵守预定义的安全性策略和可信端点。 时选 sourcerykit，通过只读策略安全地检查和分析仓库 时选 AegisFlow。
sourcerykit 是免费的吗？
是的，sourcerykit 在 GitHub 开源（NOASSERTION）。
AegisFlow 是免费的吗？
是的，AegisFlow 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→