@kiwa-lab/spec-kit
kiwa spec-driven development toolkit — classify specification items into 3 layers (formal-verifiable / runtime-testable / human-review-only) and emit paired spec files: specFormal.md (Lean-verifiable state machines and pure contracts) + specRuntime.md (si
Activity
- Latest release
- 2mo ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 1
Details
- License
- MIT
- First release
- Jul 09, 2026
Releases