Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agentsgithub.com/stanford-mast6 pointscalebhwin7 months ago