Create a new version of a component
npx skills add https://github.com/AI-native-Systems-Research/ai-native-storage-certus --skill component-new-versionCopie e cole este comando no Claude Code para instalar a skill
Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge
Install the Creusot Rust verification tool
Synchronize Spin/Promela models with current source code and re-verify
Prepare an existing Cargo project to use Creusot formal verification
Create a new Spin/Promela formal verification model for a system property
Measure system performance of this platform using
| name | component-new-version |
| description | Create a new version of a component |
Creating a new version of component named $0 involves the following steps:
Check that component $0 exists. If it does not exist, ask the user to clarify what component to create a new version of.
Create a new directory as a sibling, with the next version label. For example, if the latest version is v1, then the next directory should be called v2.
Copy the implementation from the prior version. Do not copy other directories such as info.
Rename the component name to reflect the new version, e.g., FoobarComponentV2
Copy permissions file .claude/settings.json, in the newly created sub-directory, that allows access to the component itself, components/component-framework and any other directories corresponding to components that are listed as receptacles. We want to avoid giving access to other components that are not directly used.
Copy skills, except those named 'component-make-new' or 'component-make-new-factor' from .claude/skills into the new component directory's .claude/skills.