Skip to content

History of DVERA CT verification tools

io.github.SuresoftTechnologies/dvera-mcp · Registry status: active

Report data on this entry

Every published change to this entry, most recent first.

Changes
2026-09-23Declared version: 0.1.2 → 0.1.4
2026-09-23Last changed in the registry (raw): 2026-09-21 → 2026-09-22
2026-09-23First listed in the registry (raw): 2026-09-21 → 2026-09-22
2026-09-23Connection paths (source structure): {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]} → {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]}
2026-09-23Package identifiers (raw): https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb → https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
2026-09-23Package coordinate: mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb → mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
2026-09-21Declared version: 0.1.1 → 0.1.2
2026-09-21Last changed in the registry (raw): 2026-09-17 → 2026-09-21
2026-09-21First listed in the registry (raw): 2026-09-17 → 2026-09-21
2026-09-21Connection paths (source structure): {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]} → {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]}
2026-09-21Package identifiers (raw): https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb → https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb
2026-09-21Package coordinate: mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb → mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.2/dvera-mcp.mcpb
2026-09-18Declared version: 0.1.0 → 0.1.1
2026-09-18Last changed in the registry (raw): 2026-09-14 → 2026-09-17
2026-09-18First listed in the registry (raw): 2026-09-14 → 2026-09-17
2026-09-18Connection paths (source structure): {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]} → {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]}
2026-09-18Package identifiers (raw): https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb → https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb
2026-09-18Package coordinate: mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb → mcpb:https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb
2026-09-15Declared version: – → 0.1.0
2026-09-15Repository URL listed: – → yes
2026-09-15Path argument present: – → no
2026-09-15Execution location: – → local
2026-09-15Required secrets declared: – → no
2026-09-15Description (raw): – → DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
2026-09-15Last changed in the registry (raw): – → 2026-09-14
2026-09-15First listed in the registry (raw): – → 2026-09-14
2026-09-15Registry status message (raw): – → –
2026-09-15Schema version of the raw record (raw): – → https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json
2026-09-15Icon formats (raw): – → –
2026-09-15Environment variable descriptions (raw): – → –
2026-09-15Environment variable formats (raw): – → –
2026-09-15Delivery form (raw): – → package
2026-09-15Remote hosts (raw): – → –
2026-09-15Connection paths (source structure): – → {"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]}
2026-09-15Remote URLs (raw): – → –
2026-09-15Runtime hints (raw): – → –
2026-09-15Package versions (raw): – → –
2026-09-15Package identifiers (raw): – → https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb
2026-09-15Package registries (raw): – → mcpb
2026-09-15Repository subfolder (raw): – → –
2026-09-15Repository platform (raw): – → github
2026-09-15Repository (raw): – → https://github.com/SuresoftTechnologies/dvera-plugin
2026-09-15Path environment variables (raw): – → –
2026-09-15Path arguments (raw): – → –
2026-09-15Transports (raw): – → stdio
2026-09-15Required secret headers (raw): – → –
2026-09-15Required secret variables (raw): – → –
2026-09-15Environment variables (raw): – → –

tracevero · https://tracevero.com/mcp/io-github-suresofttechnologies-dvera-mcp/aenderungen