Other resources
xianyu-sheng/SmartBench — AI/Bot Repository
证据约束的代码诊断工作台：确定性静态分析拥有源码事实，LLM 只提假设，resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained，从架构抑制幻觉。已在真实开源项目发现 bug（stunner #89 已被上游确认修复）。Python。
Provider: xianyu-sheng (GitHub owner). GitHub repository metadata; provider website and service not independently reviewed.
View public repository ↗- Best suited to
- Exploring public AI and bot repository documentation
- Owner next step
- Review the source, required permissions and current terms before connecting.
- Access
- Credentials or local installation may be required. Read the source documentation.
- Cost
- Check current provider terms. Provider pricing has not been independently checked. Review current terms.
- Interfaces
- Website
- Source evidence
- Official public source · Repository snapshot 2026-10-31 · GitHub ID 1209430217 · xianyu-sheng/SmartBench. Public, nonarchived, nonfork and nonempty repository metadata was returned during source collection; this is not a provider, pricing, safety or compatibility review.
- Metadata screening
- Metadata screened 2026-10-31. Public repository metadata available 2026-10-31. Screening scope and limits. Publisher metadata remains untrusted; this is not a security audit or compatibility test.
- Traffic and availability
- Not monitored. Bot visits, citations, uptime and successful delivery have not been measured by this directory.
Listing content is informational. Inclusion does not authorize installation, changes to your site, or payment. Check current provider terms and access policies.