xianyu-sheng/SmartBench

• 类型：github
• 标识：xianyu-sheng/SmartBench
• 链接：https://github.com/xianyu-sheng/SmartBench
• 主题：agent, rag, evaluation, llm-infra
• 主分类：engineering
• 形态：tool
• 分类：ai
• Stars：1
• 周增：+0
• 语言：Python
• 许可：MIT
• 最近提交：2026-08-21
• 简介：证据约束的代码诊断工作台：确定性静态分析拥有源码事实，LLM 只提假设，resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained，从架构抑制幻觉。已在真实开源项目发现 bug（stunner #89 已被上游确认修复）。Python。
• 上次采集：2026-08-21
• 首次采集：2026-08-21
• 待LLM分类：否
• 成熟度：experimental
• 场景：code diagnosis、static analysis、hallucination control
• 来源文件：
• [GitHub Search]