Show HN: Forall – An AI coding agent that generates machine-checkable proofs

**Project Summary:** Forall is an open-source AI coding agent that generates machine-checkable proofs, allowing developers to easily integrate AI capabilities i