getspur/spur

SpurCode — a Rust-native TUI orchestrator for AI coding agents. Plan with one agent, delegate to many in isolated worktrees, review every change in one terminal.

1 best points · 0 comments · 1 Hacker News post · 4 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Spur solver – Z3-backed model-finder solved values for coding agent (1 points, 0 comments, by mf_kevintruong, 2026-07-27)