io.github.SuresoftTechnologies/dvera-mcpother

DVERA CT verification tools

Verified · 2 mo ago

DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.

Our take

Connects MCP clients to DVERA workflows for CT verification of mission-critical C/C++ code, including setup, analysis, tests, and coverage. It is for safety- or compliance-oriented engineering teams rather than general developers; the domain is serious and specialized, but public maturity signals are minimal, so independent toolchain fit and result validation matter.

reviewed by hand · 2026-09-18

Something wrong or dead here? Report it

Verification record

last verified
2 mo ago
github stars
0
last commit
2 mo ago
archived
no
license
MIT
in registry since
2026-09-14

github.com/SuresoftTechnologies/dvera-plugin

More in other

browse all →
front-end-checklistother

Front-End Checklist

Verified · 28 days ago

Review frontend code and live pages against 386 quality-gated web development rules.

hand-reviewed74k starschecked 28 days ago

chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 43 days ago

MCP server for Chrome DevTools

hand-reviewed52k stars1.5m dl/wkchecked 43 days ago

reactive-resumeother

Reactive Resume

Verified · 43 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed43k starschecked 43 days ago

mcpother

PostHog MCP Server

Verified · 2 mo ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed40k starschecked 2 mo ago

mcp-server-commandsother

mcp-server-commands

Verified · 43 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars138 dl/wkchecked 43 days ago

editorother

Pascal 3D Editor

Verified · 7 days ago

Create, inspect, validate, and save editable 3D building scenes with Pascal's MCP server.

hand-reviewed25k stars295 dl/wkchecked 7 days ago