SuresoftTechnologies
OrganizationDVERA agent skills for CT C/C++ verification workflows: project setup, analysis, test generation, coverage, reporting, and regression.
Categories
Indexed Skills (14)
ct-analysis-loop
Use this skill during the CT project analysis phase to classify errors, repeat conf or toolchain fixes, and continue until analysis succeeds.
ct-extract-macro
Use 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-project
Use 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 the project-preparation stage.
ct-kb-update
Use this skill to append single-change attempt results to `observations.jsonl`. It is called by `ct-init-project` or `ct-orchestrator` immediately after the CT-apply full pipeline completes.
ct-make-conf
Use 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-open
Launch CT with the current workspace. Use when you need to inspect the project visually in CT IDE during agent work.
ct-orchestrator
Use 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-regression
Use after a code change to rerun existing tests and report regression status (new failures and coverage deltas).
ct-report
Use 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-test
Generate and execute a CT AI test for one analyzed C/C++ function from user-approved requirements, then review the resulting evidence.
ct-run-gtest
Re-run GoogleTest assets already registered in a CT project, then review their execution results and structural coverage.
ct-self-healing
Run CT regression evidence collection after a C/C++ change and identify when the deployed CT Self-Healing workflow should review affected tests.
ct-setup-project
Use 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-loop
Use this skill to generate and run tests on an analyzed CT project and correct build failures through a feedback loop. In standalone runs, you must first ask the user whether to use requirements-based or AI-code-analysis generation mode.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.