Claude Skills by AI-native-Systems-Research

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

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.

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

Analyze drift between specs and implementation. Compares requirements

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

Ensure a component implementation is synchronized with its specifications.

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

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.

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

Analyze drift between specs and implementation. Compares requirements

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