Show HN: Spur solver – Z3-backed model-finder solved values for coding agentgithub.com·1 pts·mf_kevintruong·0