trendingsociety

Discover Tools Skills MCP Servers Open Source Reading RoomTemplatesInspirationFeeds

trendingsociety

The Signal

Useful tools and ideas, in your inbox.

Explore

Tools Skills MCP Servers Open Source Reading Room Templates Inspiration Feeds

Company

About Work with us FAQ

Legal

Editorial policy Privacy Terms Cookies

© 2026 Trending Society

Discover Tools Skills MCP Servers Open Source Reading RoomFeeds

Browse

Discover Tools Agent skills MCP servers Open source Reading room Feeds

Make

Templates Inspiration

Company

About Work with us Newsletter

DVERA CT verification tools | MCP Servers | Trending Society

Installable59,764 All servers61,446 Official

Categories

All categories Data & Analytics9,591 Platforms8,234 Coding5,686 Productivity5,324 AI & Models4,673 Infrastructure3,653 SEO & Marketing3,583 Finance2,920 Security2,919 Design2,713 Legal & Government2,528 Social Media1,724

DVERA CT verification tools

By SuresoftTechnologiesMCP server

View repository

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

Coding00 GitHub starsUpdated Sep 22, 2026

Remotes

This server publishes no hosted endpoint. Run one of its packages locally.

Packages

https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb · mcpb · stdio

Server details

Registry name: io.github.SuresoftTechnologies/dvera-mcp
Version: 0.1.4
Registry status: active
Repository: suresofttechnologies/dvera-plugin

First published

Sep 22, 2026

Source

Official MCP Registry

Last refreshed

Nov 8, 2026

More servers like this

All in this category

Playwright MCP

microsoft39.3K39,318 GitHub stars

Playwright Tools for MCP

CodingExplore server

GitHub

github34.3K34,319 GitHub stars

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

CodingExplore server

MCP Server Browserbase

browserbase3.4K3,397 GitHub stars

MCP server for AI web browser automation using Browserbase and Stagehand

CodingExplore server

Next Devtools MCP

vercel834834 GitHub stars

Next.js development tools MCP server with stdio transport

CodingExplore server

Postman MCP Server

postman326326 GitHub stars

Give your AI agents trusted access to the full Postman platform.

CodingExplore server

Three-Live 3D, CAD & Spatial XR Compiler

google194194 GitHub stars

Compile, lint, simulate (60 Hz), and render 3D scenes from Three.js to GLB, USDZ, Android & iOS.

CodingExplore server