Show HN: Plan-linter – pre-flight safety checker for AI agent plans
a year ago
- #static-analysis
- #LLM
- #open-source
- plan-linter 是一个用于LLM智能体规划的开源静态分析工具包
- 它根据模式、策略规则和启发式方法验证机器可读的规划
- 基础用法是通过`plan-lint`命令运行JSON规划文件
- 高级用法允许指定策略文件进行自定义验证规则
- 示例策略规则包括允许的工具、参数边界限制和基于正则表达式的令牌拒绝
- 可通过在`plan_lint/rules`目录创建Python文件来添加自定义规则
- 该工具支持CLI和JSON两种输出格式
- 欢迎贡献代码，提供问题讨论、分支创建和PR提交的指南
- 开发环境配置包括创建虚拟环境和安装依赖项
- 采用Apache License 2.0许可证