dvera

Skills

14 in the Claude listing

• Ct analysis loopUse this skill during the CT project analysis phase to classify errors, repeat conf or toolchain fixes, and continue until analysis succeeds.
• Ct extract macroUse this skill to extract the target compiler's compiler-default macros and build the shared environment analysis fields used during CT project preparation.
• Ct init projectUse this skill to run the CT full pipeline from Phase 0 initial setup through macro extraction, conf and toolchain creation, analysis, testing, and observation-record collection, or to perform only th
• Ct kb updateUse this skill to append single-change attempt results to `observations.jsonl`.
• Ct make confUse this skill to generate the conversion analysis `.conf` and toolchain metadata (`.ini`, `.info`) from extracted target macros and `compiler_info`, and to record fingerprints.
• Ct openLaunch CT with the current workspace.
• Ct orchestratorUse this skill to continue an existing `state.json` session and decide whether to resume `ct-init-project`, `ct-analysis-loop`, or `ct-test-loop` from the current status.
• Ct regressionUse after a code change to rerun existing tests and report regression status (new failures and coverage deltas).
• Ct reportUse this skill to export the test results and coverage of a CT project that has already been executed into a PDF/HTML/XLSX report.
• Ct req to testGenerate and execute a CT AI test for one analyzed C/C++ function from user-approved requirements, then review the resulting evidence.
• Ct run gtestRe-run GoogleTest assets already registered in a CT project, then review their execution results and structural coverage.
• Ct self healingRun CT regression evidence collection after a C/C++ change and identify when the deployed CT Self-Healing workflow should review affected tests.
• Ct setup projectUse this skill to create the CT toolchain and project for the host or conversion path, and to apply user include paths and defines as compile flags.
• Ct test loopUse this skill to generate and run tests on an analyzed CT project and correct build failures through a feedback loop.