Zum Inhalt springen

Verlauf von DVERA CT verification tools

io.github.SuresoftTechnologies/dvera-mcp · Registerstatus: aktiv

Angaben zu diesem Eintrag melden

Jede veröffentlichte Änderung an diesem Eintrag, die jüngste zuerst.

Änderungen
2026-09-23Deklarierte Version: 0.1.2 → 0.1.4
2026-09-23Im Register geändert am (Rohangabe): 2026-09-21 → 2026-09-22
2026-09-23Im Register eingetragen am (Rohangabe): 2026-09-21 → 2026-09-22
2026-09-23Verbindungswege (Quellstruktur): {"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-23Paketbezeichner (Rohangabe): 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-23Paketkoordinate: 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-21Deklarierte Version: 0.1.1 → 0.1.2
2026-09-21Im Register geändert am (Rohangabe): 2026-09-17 → 2026-09-21
2026-09-21Im Register eingetragen am (Rohangabe): 2026-09-17 → 2026-09-21
2026-09-21Verbindungswege (Quellstruktur): {"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-21Paketbezeichner (Rohangabe): 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-21Paketkoordinate: 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-18Deklarierte Version: 0.1.0 → 0.1.1
2026-09-18Im Register geändert am (Rohangabe): 2026-09-14 → 2026-09-17
2026-09-18Im Register eingetragen am (Rohangabe): 2026-09-14 → 2026-09-17
2026-09-18Verbindungswege (Quellstruktur): {"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-18Paketbezeichner (Rohangabe): 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-18Paketkoordinate: 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-15Deklarierte Version: – → 0.1.0
2026-09-15Repository-Adresse geführt: – → ja
2026-09-15Pfadargument vorhanden: – → nein
2026-09-15Ausführungsort: – → lokal
2026-09-15Pflicht-Geheimnisse deklariert: – → nein
2026-09-15Beschreibung (Rohangabe): – → DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
2026-09-15Im Register geändert am (Rohangabe): – → 2026-09-14
2026-09-15Im Register eingetragen am (Rohangabe): – → 2026-09-14
2026-09-15Statusmeldung des Registers (Rohangabe): – → –
2026-09-15Schemafassung des Rohsatzes (Rohangabe): – → https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json
2026-09-15Symbolformate (Rohangabe): – → –
2026-09-15Beschreibungen der Umgebungsvariablen (Rohangabe): – → –
2026-09-15Formate der Umgebungsvariablen (Rohangabe): – → –
2026-09-15Bereitstellungsform (Rohangabe): – → paket
2026-09-15Remote-Hosts (Rohangabe): – → –
2026-09-15Verbindungswege (Quellstruktur): – → {"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-Adressen (Rohangabe): – → –
2026-09-15Laufzeithinweise (Rohangabe): – → –
2026-09-15Paketversionen (Rohangabe): – → –
2026-09-15Paketbezeichner (Rohangabe): – → https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.0/dvera-mcp.mcpb
2026-09-15Paketquellen (Rohangabe): – → mcpb
2026-09-15Repository-Unterordner (Rohangabe): – → –
2026-09-15Repository-Plattform (Rohangabe): – → github
2026-09-15Repository (Rohangabe): – → https://github.com/SuresoftTechnologies/dvera-plugin
2026-09-15Pfad-Umgebungsvariablen (Rohangabe): – → –
2026-09-15Pfadargumente (Rohangabe): – → –
2026-09-15Transportarten (Rohangabe): – → stdio
2026-09-15Geheime Pflichtkopfzeilen (Rohangabe): – → –
2026-09-15Geheime Pflichtvariablen (Rohangabe): – → –
2026-09-15Umgebungsvariablen (Rohangabe): – → –

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