Accueil Serveurs distants Sujets Compétences d'agent WebMCP Blog

Publicité Soumettre

Accueil
Serveurs
Développement
Prover MCP

Prover MCP

S'intègre au Succinct Prover Network pour surveiller, calibrer et optimiser les opérations de preuve.

GitHubEssayer ce MCPSponsorisé

Documentation

Aucune documentation disponible.

Détails du serveur MCP

DépôtDépôt GitHub

Catégorie: Développement

Sponsorisé

Springbrand.aiLe marché des capacités des agents IA

Advertise hereStandard Sponsor

Serveurs connexes

Scout Monitoring MCP
Les pipes MCP officiels de Scout envoient les données d'erreur, de trace et de métrique de la production vers votre agent IA.
JVM MCP Server
Un serveur pour surveiller et analyser les processus de la machine virtuelle Java (JVM) à l'aide d'Arthas, avec une interface Python.
Scouter MCP
Interrogez Scouter APM (objets, compteurs, transactions XLog) via stdio à travers un collecteur Scouter.
System Diagnostics
Un serveur MCP pour les diagnostics et la surveillance système sur Ubuntu utilisant des outils courants en ligne de commande.
AppControl Windows System History
Un serveur MCP qui donne aux agents d'IA comme Claude, Cursor et Gemini accès aux données historiques Windows de CPU, GPU, température et confidentialité collectées par l'application AppControl Windows.
Azure MCP Server
Tous les outils Azure MCP dans un seul serveur. Le serveur Azure MCP implémente la spécification MCP pour créer une connexion transparente entre les agents IA et les services Azure. Le serveur Azure MCP peut être utilisé seul ou avec l'extension GitHub Copilot pour Azure dans VS Code.
CircleCI
Permettre aux agents IA de corriger les échecs de build depuis CircleCI.
GTmetrix MCP
Obtenez des tests de performance web et des données dans votre flux de travail IA.
Harness
Accédez aux données de la plateforme Harness et interagissez avec elles, y compris les pipelines, les dépôts, les journaux et les registres d'artefacts.
Loadster MCP
Tests de charge et surveillance synthétique. Testez votre site avec Playwright, Browser Bots ou Protocol Bots. Utilisez le MCP pour créer et exécuter des scripts de test, configurer des tests de charge, analyser les résultats de test et mettre en place des moniteurs.

A directory of Model Context Protocol servers, clients, and guides for building with AI agents.

Directory

Derniers serveurs MCP
Serveurs MCP officiels
Serveurs MCP distants
Répertoire WebMCP
MCP Clients

Learn

What is an MCP server?
Qu’est-ce que WebMCP ?
WebMCP dans Chrome
MCP Topics
Claude Skills

More

Soumettre
Publicité
Blog
Codex Resets

© 2026 mcpservers.orgcontact [at] mcpservers.org