Show HN: Specification First Agentic Development Plugin and Prove

Category: devtools

Tags: ai-agents, spec-driven-development, claude-code, developer-workflow, git-hooks

Score: 5.5/10 (Innovation: 5, Technical: 5, Documentation: 7, Utility: 5)

A methodology and Claude Code plugin for specification-first agentic development, where every task begins as a YAML spec with evidence-checked claims, gets an independent review, and ends with a gated commit and recorded decisions. It addresses real problems of AI agent drift and lost context, and includes a commit gate plus evidence checker implemented in Python.

Target audience: backend devs, devops, engineering teams using AI coding agents

Repository: https://spec-first.dev/ · Python · MIT · 10 stars

View on Hacker News