A new project introduces Prove, a plugin designed to bring specification-first agentic development to AI coding agents. This approach improves autonomous code generation by requiring reviewed specifications, utilizing isolated worktrees, and enforcing gated commits.