Skip to main content
AIDiveForge AIDiveForge
Category

CLI Coding Agents

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

Showing 21-30 of 80 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
CLI Coding AgentsFree

Tau

Tau is a small Python coding agent structured as a three-layer curriculum: a provider-neutral streaming layer, a reusable agent harness…

VerifiedOSS
View Tau