CSL-Core
开源命令行工具，用于为LangChain智能体的工具调用添加形式化验证的安全策略，通过在工具调用前插入策略守卫层实现安全控制，支持Z3定理证明器进行策略验证
时间轴 (近 90 天)
CSL-Core 是一个开源命令行工具，在每次工具调用之前加上一道经过形式化验证的策略防线，且不需要改动现有提示词
执行 cslcore venom 命令会以只读方式扫描代码仓库，识别 @tool 装饰的函数、StructuredTool、LangGraph 节点，以及 OpenAI/Anthropic 的工具 schema、MCP 服务器和 webhook
CSL-Core 对涉及资金的工具设置单次调用上限和审批阈值，对执行命令的工具采用白名单机制，对写入操作限定文件夹作用域
CSL-Core 使用 Z3 定理证明器在策略生效前验证规则，以确保规则在数学层面可满足、无矛盾
CSL-Core 在 LangChain 的 @tool 装饰器下方再加一个装饰器，工具保留原有名称、文档字符串和参数 schema，使 LangChain 看到的仍是同一个工具
CSL-Core 的 cslcore wire --undo 命令可以把文件原样恢复
CSL-Core 工具默认从 log 模式启动，不拦截任何调用，但把每次调用记录为 allow 或 would-block
cslcore venom --check --fail-on-new-reach 命令会在有人新增能动钱、能执行命令或能对外发布却没有配套规则的工具时让构建失败
CSL-Core 可通过 pip install csl-core 安装，在仓库中运行 cslcore setup 使用，所有数据留在本地不会外传
CSL-Core 对纯 schema 工具无法用装饰器，需要手动添加一行 guard.check(...)
还有 1 条时间轴事件
全部知识事实 (11)
CSL-Core 是一个开源命令行工具，在每次工具调用之前加上一道经过形式化验证的策略防线，且不需要改动现有提示词
50%待验证执行 cslcore venom 命令会以只读方式扫描代码仓库，识别 @tool 装饰的函数、StructuredTool、LangGraph 节点，以及 OpenAI/Anthropic 的工具 schema、MCP 服务器和 webhook
50%待验证CSL-Core 对涉及资金的工具设置单次调用上限和审批阈值，对执行命令的工具采用白名单机制，对写入操作限定文件夹作用域
50%待验证CSL-Core 使用 Z3 定理证明器在策略生效前验证规则，以确保规则在数学层面可满足、无矛盾
50%待验证CSL-Core 在 LangChain 的 @tool 装饰器下方再加一个装饰器，工具保留原有名称、文档字符串和参数 schema，使 LangChain 看到的仍是同一个工具
50%待验证CSL-Core 的 cslcore wire --undo 命令可以把文件原样恢复
50%待验证CSL-Core 工具默认从 log 模式启动，不拦截任何调用，但把每次调用记录为 allow 或 would-block
50%待验证cslcore venom --check --fail-on-new-reach 命令会在有人新增能动钱、能执行命令或能对外发布却没有配套规则的工具时让构建失败
50%待验证CSL-Core 可通过 pip install csl-core 安装，在仓库中运行 cslcore setup 使用，所有数据留在本地不会外传
50%待验证CSL-Core 对纯 schema 工具无法用装饰器，需要手动添加一行 guard.check(...)
50%待验证CSL-Core 的'先影子运行、再强制执行'设计思路与 WAF 的检测/阻断模式切换类似
50%