Spur solver – Z3-backed model-finder solved values for coding agent 是一个「skill」类 AI agent,解决:在编写复杂逻辑代码时，自动推导变量的满足条件取值，辅助完成代码补全或错误修复。定价:产品页未标明。截至 2026-10-27,KanonAgent 记录到 1 票。本站首次收录于 2026-07-27。
一个基于 Z3 的模型求解工具，帮助开发者自动推导代码中的变量取值，提升编程代理的推理能力
1 票
Kanon 于 2026 年 7 月 27 日 收录
状态依据:npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
📈 时间线什么时候变了什么
- 加速 npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 降温 npm_downloads_7d momentum fell to 4 per 3d from 11 (<= 40% of the prior window)
- 降温 npm_downloads_7d momentum fell to 4 per 3d from 11 (<= 40% of the prior window)
- 降温 npm_downloads_7d momentum fell to 6 per 3d from 20 (<= 40% of the prior window)
- 加速 npm_downloads_7d gained 11 in the last 3d vs 6 in the 3d before (ratio 1.8x, threshold 1.5x)
- 降温 npm_downloads_7d momentum fell to 6 per 3d from 20 (<= 40% of the prior window)
- 加速 npm_downloads_7d gained 14 in the last 3d vs 4 in the 3d before (ratio 3.5x, threshold 1.5x)
- 加速 npm_downloads_7d gained 14 in the last 3d vs 4 in the 3d before (ratio 3.5x, threshold 1.5x)
- 加速 npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 降温 npm_downloads_7d momentum fell to -86 per 3d from 55 (<= 40% of the prior window)
- 降温 npm_downloads_7d momentum fell to -101 per 3d from 72 (<= 40% of the prior window)
- 异常 daily change -75.0 is -3.1 standard deviations from this entity's own prior mean (2.1±24.9, baseline excludes this point) — unusual, not necessarily adoption
- 降温 npm_downloads_7d momentum fell to -92 per 3d from 72 (<= 40% of the prior window)
- 加速 npm_downloads_7d gained 55 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 异常 daily change -75.0 is -3.1 standard deviations from this entity's own prior mean (2.1±24.9, baseline excludes this point) — unusual, not necessarily adoption
- 加速 npm_downloads_7d gained 72 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 加速 npm_downloads_7d gained 72 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- 降温 npm_downloads_7d momentum fell to -175 per 3d from 159 (<= 40% of the prior window)
🔎 已知 / 未知
23 个字段里 13 个未知
| 可机器调用 | — | 未知 | — |
| 开源 | 1 | 推断 | 1 条引文 |
| 可自托管 | 1 | 推断 | 1 条引文 |
| 需自带 key | — | 未知 | — |
| 自主度 | 2 | 推断 | 3 条引文 |
| 计费模式 | — | 未知 | — |
| 集成面 | — | 未知 | — |
「未知」= 我们没核实过,**不等于「否」**。硬性筛选永远不会把未知当成否。
🤖 Agent 拆解 · skill
解决什么场景在编写复杂逻辑代码时，自动推导变量的满足条件取值，辅助完成代码补全或错误修复
自主度L2 · 有工具调用(引文: "delegates work into isolated git worktrees…")
前置条件开源 · 可自托管
为什么值得关注
将形式化验证与编程代理结合，为 AI 编程助手提供底层逻辑推理支持，是构建智能开发工具的关键基础设施
证据引文判定所依据的原文 · 逐字引用
“public GitHub repository (README fetched)”— structural
“SPUR is a Rust-native terminal application that sits above the agents you already use.”— readme
“delegates work into isolated git worktrees”— readme
“turns a task or issue into a durable plan”— readme
“Approve, reject, modify, or retry every worker result”— readme
信号来源: Show HN
访问官网 →
📛 官方徽章挂到官网 / README
你是 Spur solver 的作者?上面选样式,嵌入代码实时更新;要贴合站点配色可在 URL 上加 bg= / fg= / accent=(十六进制色)。徽章链回本页。
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
常见问题
Spur solver 是什么?
一个基于 Z3 的模型求解工具，帮助开发者自动推导代码中的变量取值，提升编程代理的推理能力
Spur solver 解决什么问题?
在编写复杂逻辑代码时，自动推导变量的满足条件取值，辅助完成代码补全或错误修复
Spur solver 为什么值得关注?
将形式化验证与编程代理结合，为 AI 编程助手提供底层逻辑推理支持，是构建智能开发工具的关键基础设施
Spur solver 是开源的吗?
是。Spur solver 为开源项目。
Spur solver 能自托管吗?
可以。Spur solver 支持自托管部署。
Spur solver 有多少人在用?
KanonAgent 记录到:1 票(本站首次收录于 2026-07-27)。
Spur solver 有什么替代品?
KanonAgent 库内的同类 agent:Stealth Venture、taste-skill、archify、open-design、deer-flow、ruflo。