证据约束的代码诊断工作台：确定性静态分析拥有源码事实，LLM 只提假设，resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained，从架构抑制幻觉。已在真实开源项目发现 bug（stunner #89 已被上游确认修复）。Python。
Cross-referenced across 55 tracked directories
#2911
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.
...moreyannpointud
Une équipe d'agents IA autonomes pour construire vos logiciels. Orchestrés par un superviseur, des agents Analyste et Développeur utilisent une architecture RAG et des LLMs (Mistral) pour gérer la conception, le code, les tests et la documentation de manière 100% autonome.
...more