cd /news/ai-tools/show-hn-forall-an-ai-coding-agent-th… · home › topics › ai-tools › article
[ARTICLE · art-61349] src=github.com ↗ pub= topic=ai-tools verified=true sentiment=↑ positive

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

Astrio launched Forall, an AI coding agent that generates spec-driven code with machine-checkable proofs, now available as a binary release on GitHub. The tool supports TypeScript, Java, and Rust, and includes Rust crates for local authoring and hosted verification.

read1 min views1 publishedJul 16, 2026
Show HN: Forall – An AI coding agent that generates machine-checkable proofs
Image: source

Forall is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

curl -fsSL https://forall.astrio.app/install.sh | bash

Add ~/.local/bin

to your PATH

if needed, then run forall --version

.

Note:A binary release must exist on[GitHub Releases]before install succeeds.

  • TypeScript
  • Java
  • Rust

We are expanding to our popular programming languages based on the demand.

Join our Discord and X communities to connect with other developers using Forall. Get help, share feedback, and discuss your projects with the community.

This repository includes Rust crates for Forall's local authoring and hosted verification adapters:

— workspace authoring librarycrates/forall-authoring

— local authoring MCP servercrates/forall-mcp-author

— hosted verification clientcrates/forall-hosted-verify

See crates/README.md and the architecture docs for how these relate to the standalone forall

binary.

Build and test the crates:

cargo test --workspace

The full agent runtime (TUI, turn loop, sandbox) is distributed only as the prebuilt binary above.

This repository is licensed under the Apache-2.0 License.

source & further reading
github.com — original article
── more in #ai-tools 4 stories · sorted by recency
── more on @astrio 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
→ Live at https://your-agent.zahid.host ✓
Get free account → Pricing
from €0/mo · no card required
LIVE [news/show-hn-forall-an-ai…] indexed:0 read:1min 2026-07-16 · —