Show HN: Specification First Agentic Development Plugin and Prove
The Hacker News community posted a new open‑source tool called the Specification First Agentic Development Plugin, which aims to let developers start by writing formal specifications and then use autonomous agents to generate code. The accompanying component, Prove, is intended to verify that the produced implementations meet the original specifications. The announcement invites feedback and contributions.