Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

(github.com) by calebhwin | Nov 13, 2025 | 0 comments on HN