Skip to content
mcp/skillhub

DVERA CT verification tools MCP Server

by suresofttechnologiesio.github.SuresoftTechnologies/dvera-mcpv0.1.4

Drives Controller Tester (CT) C/C++ verification: project setup, analysis, test generation and execution, statement/branch/MC-DC coverage and report export.

0Pythonstdioofficial registry

context tax

queued

security

queued

cold start

queued

freshness

Active17d ago

Install DVERA CT verification tools MCP server

No published package or hosted endpoint yet — see the repository README for build-from-source instructions.

Freshness

Active — last maintenance signal 17d ago. The newest of the signals below sets the band.

  1. Last commit (default branch)

    2026-09-22 · 17d ago · GitHub

  2. Latest release

    2026-09-22 · 17d ago · GitHub · v0.1.4

  3. Package published

    no data · npm/PyPI

  4. Registry entry updated

    2026-09-22 · 17d ago · official registry · v0.1.4

FAQ

›Does DVERA CT verification tools require an API key?

No required environment variables are declared in its published metadata.

›Can I use DVERA CT verification tools as a remote (hosted) MCP server?

No hosted endpoint is published; it runs locally over stdio.

›Is DVERA CT verification tools in the official MCP registry?

Yes, as io.github.SuresoftTechnologies/dvera-mcp.

Alternatives to DVERA CT verification tools

Other devops & ci/cd MCP servers.

View all
StorybookjsActiveHelps agents write and test Storybook stories for UI components.Codebase MemoryActiveIndexes a repo into a persistent local knowledge graph of functions, classes, call chains, HTTP routes and cross-service links, using tree-sitter and LSP.PostHogActiveOfficial PostHog MCP Server for product analytics, feature flags, experiments, and more.Claude Task MasterSlowingTask management for AI-driven development: PRD parsing, task expansion, multi-provider support and selective tool loading to save context.Figma DeveloperSlowingGive your coding agent access to your Figma data. Implement designs in any framework in one-shot.KubesharkActiveReal-time Kubernetes network traffic visibility and API analysis for HTTP, gRPC, Redis, Kafka, DNS.