← All creators

SuresoftTechnologies

Organization

DVERA agent skills for CT C/C++ verification workflows: project setup, analysis, test generation, coverage, reporting, and regression.

14 indexed · 0 Featured · 0 stars · avg score 72
Prolific

Categories

Indexed Skills (14)

AI & Automation Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
AI & Automation Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
AI & Automation Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

ct-open

Launch CT with the current workspace. Use when you need to inspect the project visually in CT IDE during agent work.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
AI & Automation Listed

ct-regression

Use after a code change to rerun existing tests and report regression status (new failures and coverage deltas).

0 Updated 4 days ago
SuresoftTechnologies
Data & Documents Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

ct-run-gtest

Re-run GoogleTest assets already registered in a CT project, then review their execution results and structural coverage.

0 Updated 4 days ago
SuresoftTechnologies
AI & Automation Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
AI & Automation Listed

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.

0 Updated 4 days ago
SuresoftTechnologies
Testing & QA Listed

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.

0 Updated 4 days ago
SuresoftTechnologies

Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.