cspec

Community

Turn ideas into testable specs with invariants.

Authorjoshft
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill turns vague feature ideas into structured, testable specifications containing explicit invariants, enabling safer, faster implementation.

Core Features & Use Cases

  • Generates a formal spec with invariants and risk considerations before any code is written.
  • Supports intensity-driven templates and optional research phases to stay up to date with best practices.
  • Writes a draft spec to the Correctless spec store and, when needed, integrates test contracts for integration scenarios.

Quick Start

Run /cspec to begin writing a formal spec for a feature.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: cspec
Download link: https://github.com/joshft/correctless/archive/main.zip#cspec

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.