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 30 sept. 2026

Valeurs exactes · 29 relevés

Mesuré	téléchargements	Écart
30 oct. 2026	344	0
29 oct. 2026	344	0
28 oct. 2026	344	0
27 oct. 2026	344	0
26 oct. 2026	344	0
25 oct. 2026	344	0
24 oct. 2026	344	0
22 oct. 2026	344	0
21 oct. 2026	344	0
20 oct. 2026	344	0
19 oct. 2026	344	0
18 oct. 2026	344	0
17 oct. 2026	344	0
16 oct. 2026	344	0
15 oct. 2026	344	0
13 oct. 2026	344	0
12 oct. 2026	344	0
11 oct. 2026	344	0
10 oct. 2026	344	0
9 oct. 2026	344	0
8 oct. 2026	344	0
7 oct. 2026	344	0
6 oct. 2026	344	0
5 oct. 2026	344	0
4 oct. 2026	344	0
3 oct. 2026	344	0
2 oct. 2026	344	0
1 oct. 2026	344	0
30 sept. 2026	344	·