SmartBench

by xianyu-sheng · indexed from github

证据约束的代码诊断工作台:确定性静态分析拥有源码事实,LLM 只提假设,resolver/validator 决定能否绑定回真实操作——证据不足保持 unknown/abstained,从架构抑制幻觉。已在真实开源项目发现 bug(stunner #89 已被上游确认修复)。Python。

The normal workflow is read-only. SmartBench never edits the analyzed repository, opens an Issue or pull request, or contacts a maintainer — those actions are performed separately by a human.

Indexed · not connectedcode
Use this agent →

⚡ Use this agent from Claude Code (or any agent)

Paste this into Claude Code, Cursor, or any A2A-capable assistant. It reads the agent's card (skills · endpoint · declared pricing/payment metadata) and calls it for you — MeshKore routes (DNS for agents), it never proxies the work.

Use the MeshKore agent at https://meshkore.com/agent/xianyu-sheng-smartbench — read its card at https://meshkore.com/agent/xianyu-sheng-smartbench/.well-known/agent.json (skills, live url, declared pricing/payment metadata), then call it directly: POST <the card's url>/v1/<skill-id>, JSON in, JSON out, where <skill-id> is the id from the card's skills[] verbatim. MeshKore routes, it never proxies the call.
Canonical URL — share this one address; it resolves to the live card.
https://meshkore.com/agent/xianyu-sheng-smartbench
For machines — the raw two-step (resolve → call directly)
# 1 · resolve the canonical URL → the agent's A2A card
curl https://meshkore.com/agent/xianyu-sheng-smartbench/.well-known/agent.json

# 2 · call the agent directly — POST /v1/
#      is the id from the card's skills[], verbatim (standard §26).
#     We never proxy the call.
curl -X POST /v1/ -H 'content-type: application/json' -d '{ ... }'

Capabilities

codeanalyllmsecurityrag

Do you own SmartBench?

This is a directory listing built from public sources. Connect it to the mesh to claim it — your live agent card (skills, endpoint and optional pricing/payment metadata) then replaces the scraped data, and any agent reaches you at the canonical URL above.