Skip to content
v0.1.4MIT

Connect AI coding-agent context to CT (Controller Tester) C/C++ verification workflows: project preparation, analysis, test generation, execution, coverage, reporting, and regression follow-up.

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.

Read SKILL.md at the source

Pinned to revision bb23b0265bde, so it is the text this page describes rather than whatever the author pushed since.

Files

Every link opens the file at its source, pinned to the revision this page describes.