claude

dvera

DVERA connects coding agents to CT for C/C++ unit and integration verification in functional-safety projects through MCP and Skills.

0 on GitHubby Suresoft Technologiesv0.1.5MITupdated 3 days agotesting
/

Plugin dvera from marketplace suresofttech in SuresoftTechnologies/dvera-plugin. Commands read from the repo's manifest — 3 days ago.

What it installs

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.

View source on GitHub apps.suresofttech.com

Similar plugins

claude-mem

claudecodex

Persistent memory for Claude Code: the next session starts where the last one left off.

29 skills · 1 MCP server · hooks

thedotmack/claude-mem 116,618

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

mempalace

claudecodex

AI memory system — mine projects and conversations into a searchable palace. 47 MCP tools, auto-save hooks, guided setup.

3 skills · 6 commands · 1 MCP server · hooks

MemPalace/mempalace 60,536

Reliable automation, in-depth debugging, and performance analysis in Chrome using Chrome DevTools and Puppeteer

8 skills · 1 MCP server

ChromeDevTools/chrome-devtools-mcp 55,181

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

gitnexus

claudecodex

Code intelligence powered by a knowledge graph. Provides execution flow tracing, blast radius analysis, and augmented search across your codebase.

12 skills · 1 MCP server · hooks

abhigyanpatwari/GitNexus 48,482

Maintain dvera?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted