Alternatives
Products that do what Proofs - AI Agents for Sales Engineering does
Full-stack apps and PoCs in hours, not weeks.
- 1

- 2

- 3

- 4

- 5

- 6

- 7

- 8

- 9

- 10

- 11

- 12

- 13

- 14
- 15

- 16

- 17

- 18

- 19

- 20

On-brand AI work that has to prove it is ready to ship
Jul 2026 · corristonconsulting.com
- 21

- 22

- 23

- 24FA
We've been working on an open-source coding agent that generates code alongside machine-checkable proofs. We'd love feedback from the HN community, especially from people interested in formal verification, Lean, Dafny, or AI coding agents. Currently, only 3 langauges can be verified.
Jul 2026 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →