Alternatives

Products that do what Forall – Spec-driven AI coding with formal verification does

1. 1AC
   AI Coding Companion▲6

   2024 · codepal.vercel.app

2. 2ZA
   Zerminal – a terminal-first Zed fork for AI coding agents▲5

   May 2026 · zerminal.dev

3. 3AA
   AI Assisted Coding Tutorials▲5

   2023 · codeamigo.dev

4. 4MO
   Moltty – Organized, Persistent AI Coding Sessions▲9

   Mar 2026 · moltty.com

5. 5AA
   Akmon, a Rust AI coding agent for regulated engineering▲5

   May 2026 · github.com

6. 6AS
   agenteval – static analysis for AI coding instruction file▲7

   Apr 2026 · github.com

7. 7UE
   Unspaghettit – executable behavior specs for AI coding agents▲5

   May 2026 · github.com

8. 8AF
   A framework that makes your AI coding agent learn from every session▲8

   Feb 2026 · github.com

9. 9FA
   Forall – An AI coding agent that generates machine-checkable proofs▲11

   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

10. 10AA
    Arbor – An AST based Rust engine for deterministic AI codebase context▲5

    Jan 2026 · github.com

11. 11CA
    Coding agent with algebraic memory (VSA) instead of RAG▲5

    Jun 2026 · github.com

12. 12AA
    Amp – a new AI coding agent focused on outcomes▲5

    2025 · ampcode.com

13. 13ET
    Excalibur. The open-source AI coding agent for product engineers▲7

    Jul 2026 · getexcalibur.dev

14. 14LC
    Local Coding Agent with LLMs to Delegate Tool Calls to Small AI Models▲9

    May 2026 · github.com

15. 15SC
    Serverless code execution, but for AI agents▲7

    2024 · sandboxed.ai

16. 16CM
    Codingagents.md – The open directory for AI coding agents▲5

    Feb 2026 · codingagents.md

17. 17KS
    Keypo – Secure Enclave encrypted secrets for AI coding agents▲5

    Mar 2026 · github.com

18. 18OS
    Open-Source Infrastructure for AI Code Interpreters▲6

    2024 · e2b.dev

19. 19GL
    Git-lanes – Parallel isolation for AI coding agents using Git worktrees▲5

    Mar 2026 · github.com

20. 20HA
    Hebbs – a single-binary memory engine for AI agents – sub-10ms▲6

    Mar 2026 · github.com

21. 21CA
    ctx, a hackable desktop workbench for coding agents▲5

    Jun 2026 · github.com

22. 22WP
    Wallfacer – Persistent development environments for AI coding agents▲5

    Feb 2026 · wallfacer.ai

Ranked by how close each launch is in meaning, then by votes. Refine with a description →