I built

Spur solver – Z3-backed model-finder solved values for coding agent

Built by @hn:mf_kevintruong · github.com/getspur/spur/tree/main/crates/spur-solver

via Hacker Newsby hn:mf_kevintruong ↗· community-imported

11 people want it.

Who's asking for this

“Someone is looking for this — identity hidden”

@••••••••••••••• ·

“Someone is looking for this — identity hidden”

@••••••••••••• ·

“Someone is looking for this — identity hidden”

@••••••••••••••• ·

“Someone is looking for this — identity hidden”

@•••••••••••••••••• ·

“Someone is looking for this — identity hidden”

@••••••••••• ·

Want this too?

IwantIbuild is a demand board for indie builders. Search what you wish existed and find who already shipped it — or post the thing you built and watch the demand for it add up.

Find more tools like this →