Retour aux serveurs MCP

io.github.baopeak/verirun

Serveur MCPregistre MCPInconnu

Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.

Ouvrir la source canonique

Mesuré: 30 oct. 2026 · 51 observations

Domaines & Usages

Domaines
Agents, skills et MCP

Installation

claude mcp add verirun -- npx verirun

À vérifier à la source

Compatibilité et prérequis sont à vérifier dans la documentation officielle.

https://github.com/baopeak/verirun

Classifications

Nature
Outil

Historique des mesures

Les relevés comparables sont regroupés par signal et unité.

Téléchargements · 7 derniers jours

344téléchargements · 30 oct. 2026

0 (0 %)depuis le 24 oct. 2026

24 oct. 2026 : 344 téléchargements25 oct. 2026 : 344 téléchargements26 oct. 2026 : 344 téléchargements27 oct. 2026 : 344 téléchargements28 oct. 2026 : 344 téléchargements29 oct. 2026 : 344 téléchargements30 oct. 2026 : 344 téléchargements
Valeurs exactes · 7 relevés
MesurétéléchargementsÉcart
3440
3440
3440
3440
3440
3440
344·