spec-driven

spec-kit

Python

100

💫 Toolkit to help you get started with Spec-Driven Development

sample-specship

Shell

63

Spec-driven autonomous engineering workflow for AI coding agents: recon → plan → build → validate → ship — with TDD, adversarial validation, and anti-slop quality gates. Packaged as a Kiro Power.

spec-ptc

Python

72

Speculative programmatic tool calling (sPTC) for harnesses like RLM, CodeAct, etc.

verified-3d-mesh-intersection

Lean

73

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

skills

Shell

95

Skills for Real Engineers. Straight from my .agents directory.

Brand-building-skills

Shell

72

Brand building skills for Claude Code and AI agents. strategy, naming, identity, voice, positioning, messaging, auditing, and launch