项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-11-03 · 当前星标 ★ 463
核心亮点
- 将自然语言规范自动拆解为可执行检查项，减少人工转写审计清单的重复劳动
- 采用智能体编排逐条核查并保留证据链，审计结论可追溯，便于复核
- 以规范一致性为核心切入点，弥补静态分析工具难以理解业务语义的空白
不足之处
- 项目处于早期，接口与流程可能频繁变动，生产使用需锁定版本
- 检查项生成质量高度依赖规范文本的清晰度，模糊规范易产生误报或漏项
- 社区规模较小，文档与示例覆盖有限，遇到问题可参考的实践较少
适用场景
- 智能合约上线前，将白皮书与设计文档转为审计清单做规范一致性核查
- 安全团队把内部审计流程自动化，沉淀可复用的检查项模板
- 研发团队在需求评审阶段用规范生成检查项，提前发现实现偏差
替代项目
Slither、Mythril、SmartCheck
上一篇：ARTEX
下一篇：harbor-cookbook
同类项目推荐
Awesome-Process-Reward-Models
开源
一站式索引过程奖励模型论文与代码，快速上手推理监督
A comprehensive collection of process reward models.
napolab
开源
一站式对比葡萄牙语AI模型，掌握最新性能排名
The Natural Portuguese Language Benchmark (Napolab). Stay up to date with the latest···
Oversight
开源
模块化拆解 LLM，自动红队测试，发现漏洞
A Completely Modular LLM Reverse Engineering, Red Teaming, and Vulnerability Researc···
diffusers-interpret
开源
给扩散模型生成图像做“X光”，看清AI为何这么画
Diffusers-Interpret ️♀️: Model explainability for Diffusers. Get explanations ···
ragas
开源
给 LLM 应用打分，快速定位 RAG 短板
Supercharge Your LLM Application Evaluations
benchmark
开源
用200个真实网页任务，跑分对比你的浏览器AI智能体
Open benchmarks for browser agents: BU Bench V2.1, 200 real web tasks. Rerun them wi···
ICSFSurvey
开源
一图看懂大模型自我修正与推理增强全领域
Explore concepts like Self-Correct, Self-Refine, Self-Improve, Self-Contradict, Self···
evals-skills
开源
让编码代理手把手帮你搭产品专属 AI 评测
Skills that guide AI coding agents to help you build product-specific AI evals.
ai-evals
开源
用 Ruby 脚本跑 AI 模型评测，选型对比有据可依
Evals and benchmarks for AI models