getspur / REPOSITORY
spur
Spur solver – Z3-backed model-finder solved values for coding agent
AI & agentsShow HNLicense unchecked
Explore repositoryOriginal HN title; author claims are not independently verified.
1Top HN score
0Total comments
1Linked discussions
GO STRAIGHT TO THE SOURCE