Skip to main content
AIDiveForge AIDiveForge

CLI Coding Agents

Command-line coding agents (Claude Code, Aider).

Showing 11-20 of 79 results
CLI Coding AgentsFreemium

Forall

Forall is an Apache-2.0 CLI agent from Astrio that generates spec-driven code alongside machine-checkable proofs, running entirely in your…

VerifiedOSSFreemium
View Forall