Spur solver – Z3-backed model-finder solved values for coding agent is a skill AI agent for To automatically derive correct variable values in complex code logic, helping AI agents complete code or fix bugs with stronger logical consistency. Pricing: not stated on the product page. As of 2026-10-27, KanonAgent records 1 upvotes. First indexed by KanonAgent on 2026-07-27.
A Z3-powered model finder that automatically determines valid variable values in code, improving the reasoning accuracy of AI programming agents.
1 upvotes
Tracked by Kanon since Jul 27, 2026
Status basis: npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
📈 Timelinewhat changed, and when
- Accelerating npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 33 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Cooling npm_downloads_7d momentum fell to 4 per 3d from 11 (<= 40% of the prior window)
- Cooling npm_downloads_7d momentum fell to 4 per 3d from 11 (<= 40% of the prior window)
- Cooling npm_downloads_7d momentum fell to 6 per 3d from 20 (<= 40% of the prior window)
- Accelerating npm_downloads_7d gained 11 in the last 3d vs 6 in the 3d before (ratio 1.8x, threshold 1.5x)
- Cooling npm_downloads_7d momentum fell to 6 per 3d from 20 (<= 40% of the prior window)
- Accelerating npm_downloads_7d gained 14 in the last 3d vs 4 in the 3d before (ratio 3.5x, threshold 1.5x)
- Accelerating npm_downloads_7d gained 14 in the last 3d vs 4 in the 3d before (ratio 3.5x, threshold 1.5x)
- Accelerating npm_downloads_7d gained 6 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Cooling npm_downloads_7d momentum fell to -86 per 3d from 55 (<= 40% of the prior window)
- Cooling npm_downloads_7d momentum fell to -101 per 3d from 72 (<= 40% of the prior window)
- Anomaly 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
- Cooling npm_downloads_7d momentum fell to -92 per 3d from 72 (<= 40% of the prior window)
- Accelerating npm_downloads_7d gained 55 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Anomaly 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
- Accelerating npm_downloads_7d gained 72 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Accelerating npm_downloads_7d gained 72 in the last 3d after a flat 3d baseline (no prior movement to compare a ratio against)
- Cooling npm_downloads_7d momentum fell to -175 per 3d from 159 (<= 40% of the prior window)
🔎 Known / Unknown
13 of 23 fields unknown
| Machine-callable | — | unknown | — |
| Open source | 1 | inferred | 1 quote(s) |
| Self-hostable | 1 | inferred | 1 quote(s) |
| Bring your own key | — | unknown | — |
| Autonomy level | 2 | inferred | 3 quote(s) |
| Pricing model | — | unknown | — |
| Integrations | — | unknown | — |
“Unknown” means we have not verified it — it is not a “no”. Hard filters never treat unknown as false.
🤖 Agent teardown · skill
Job to be doneTo automatically derive correct variable values in complex code logic, helping AI agents complete code or fix bugs with stronger logical consistency.
AutonomyL2 · tool-calling(evidence: "delegates work into isolated git worktrees…")
Who it is forAI developers and tool builders
Prerequisitesopen source · self-hostable
Why it matters
It integrates formal verification techniques with AI coding agents, providing a robust foundation for logical reasoning in intelligent development tools.
Evidence quotesverbatim, from the product’s own materials
“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
Signal source: Show HN
Visit official site →
📛 Official badgefor your site / README
Building Spur solver? Pick a style above — the embed code updates live. Deep color control via URL params: bg= / fg= / accent= (hex). It links back to this page.
On mobile tap Share for WeChat / RED (Xiaohongshu) / X; on desktop use Copy text and paste into the app.
FAQ
What is Spur solver?
A Z3-powered model finder that automatically determines valid variable values in code, improving the reasoning accuracy of AI programming agents.
What does Spur solver do?
To automatically derive correct variable values in complex code logic, helping AI agents complete code or fix bugs with stronger logical consistency.
Why does Spur solver matter?
It integrates formal verification techniques with AI coding agents, providing a robust foundation for logical reasoning in intelligent development tools.
Is Spur solver open source?
Yes — Spur solver is open source.
Can I self-host Spur solver?
Yes — Spur solver can be self-hosted.
How popular is Spur solver?
As tracked by KanonAgent: 1 upvotes (first indexed 2026-07-27).
What are the best Spur solver alternatives?
Similar AI agents tracked by KanonAgent: Stealth Venture, ECC, orca, Agent-Reach, taste-skill, archify.