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

+222 (+182 %)depuis le 10 sept. 2026

Valeurs exactes · 48 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	0
29 sept. 2026	344	0
28 sept. 2026	344	0
27 sept. 2026	344	0
26 sept. 2026	344	0
25 sept. 2026	344	0
24 sept. 2026	344	0
23 sept. 2026	344	0
22 sept. 2026	344	0
20 sept. 2026	344	0
19 sept. 2026	344	0
18 sept. 2026	344	+222
17 sept. 2026	122	0
16 sept. 2026	122	0
15 sept. 2026	122	0
14 sept. 2026	122	0
13 sept. 2026	122	0
12 sept. 2026	122	0
11 sept. 2026	122	0
10 sept. 2026	122	·