Claude Skills by AI-native-Systems-Research

Create or update the feature specification from a natural language feature description.

Analyze drift between specs and implementation. Compares requirements

Apply approved drift resolutions to specs and/or code

Generate a new spec from unspecced code feature (backfill)

Detect and surface conflicts between specs or between specs and design

Propose resolutions for detected drift. AI generates spec updates or

Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.

Convert existing tasks into actionable, dependency-ordered GitHub issues for the feature based on available design artifacts.

Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge

Prepare an existing Cargo project to use Creusot formal verification

Install the Creusot Rust verification tool

Create a new Spin/Promela formal verification model for a system property

Synchronize Spin/Promela models with current source code and re-verify

Checks that any component that is being used by another component is only accessed through the component's interface and does not interact directly with the struct.

Ensure a component implementation is synchronized with its specifications.

Ensure the per-component README.md are up to date and correctly reflect the code.

Perform a non-destructive cross-artifact consistency and quality analysis across spec.md, plan.md, and tasks.md after task generation.

Generate a custom checklist for the current feature based on user requirements.

Identify underspecified areas in the current feature spec by asking up to 5 highly targeted clarification questions and encoding answers back into the spec.

Analyze drift between specs and implementation. Compares requirements

Auto-commit changes after a Spec Kit command completes

Create a feature branch with sequential or timestamp numbering

Initialize a Git repository with an initial commit

Detect Git remote URL for GitHub integration

Validate current branch follows feature branch naming conventions

Execute the implementation plan by processing and executing all tasks defined in tasks.md

Execute the implementation planning workflow using the plan template to generate design artifacts.

Create or update the feature specification from a natural language feature description.

Analyze drift between specs and implementation. Compares requirements

Apply approved drift resolutions to specs and/or code

Generate a new spec from unspecced code feature (backfill)

Detect and surface conflicts between specs or between specs and design

Propose resolutions for detected drift. AI generates spec updates or

Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.

Convert existing tasks into actionable, dependency-ordered GitHub issues for the feature based on available design artifacts.

Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge

Prepare an existing Cargo project to use Creusot formal verification

Install the Creusot Rust verification tool

Create a new Spin/Promela formal verification model for a system property

Synchronize Spin/Promela models with current source code and re-verify

Perform a non-destructive cross-artifact consistency and quality analysis across spec.md, plan.md, and tasks.md after task generation.

Generate a custom checklist for the current feature based on user requirements.

Identify underspecified areas in the current feature spec by asking up to 5 highly targeted clarification questions and encoding answers back into the spec.

Create or update the project constitution from interactive or provided principle inputs, ensuring all dependent templates stay in sync.

Execute the implementation plan by processing and executing all tasks defined in tasks.md

Execute the implementation planning workflow using the plan template to generate design artifacts.

Create or update the feature specification from a natural language feature description.

Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.

Convert existing tasks into actionable, dependency-ordered GitHub issues for the feature based on available design artifacts.

Checks that any component that is being used by another component is only accessed through the component's interface and does not interact directly with the struct.