证据约束的代码诊断工作台：确定性静态分析拥有源码事实，LLM 只提假设，resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained，从架构抑制幻觉。已在真实开源项目发现 bug（stunner #89 已被上游确认修复）。Python。
Cross-referenced across 55 tracked directories
#2904
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
4/13/2026
Created
3
GitHub Stars
5
Forks
19
Open Issues
10/29/2026
Last Commit
Recently added to the ecosystem
Score: 100/100
0 dependency vulnerabilities found
TeleAI-UAGI
TeleMem is a high-performance drop-in replacement for Mem0, featuring semantic deduplication, long-term dialogue memory, and multimodal video reasoning.
...moreEcuaByte-lat
Cortex System: The Operating System for AI Engineering. Cure Technical Amnesia.
activeing123
Token-efficient MCP CLI client. 97% less tokens on tool discovery, 40-60% on results. Zero deps. Cross-platform. Works with every AI agent.
...more