Home Remote Servers Topics Agent Skills WebMCP Blog

Advertise Submit

Home
Servers
Development
Prover MCP

Prover MCP

Integrates with the Succinct Prover Network to monitor, calibrate, and optimize prover operations.

GitHubTry this MCPSponsored

Documentation

No documentation available.

MCP server details

RepositoryGitHub repository

Category: Development

Sponsored

Springbrand.aiThe AI agent capability marketplace

Advertise hereStandard Sponsor

Related Servers

Scout Monitoring MCP
Scout's official MCP pipes error, trace and metric data from production to your AI agent
JVM MCP Server
A server for monitoring and analyzing Java Virtual Machine (JVM) processes using Arthas, with a Python interface.
Scouter MCP
Query Scouter APM (objects, counters, XLog transactions) over stdio via a Scouter collector.
System Diagnostics
An MCP server for system diagnostics and monitoring on Ubuntu using common command-line tools.
AppControl Windows System History
An MCP server that gives AI agents like Claude, Cursor, and Gemini access to historical Windows CPU, GPU, temperature, and privacy data gathered by the AppControl Windows app.
Azure MCP Server
All Azure MCP tools in a single server. The Azure MCP Server implements the MCP specification to create a seamless connection between AI agents and Azure services. Azure MCP Server can be used alone or with the GitHub Copilot for Azure extension in VS Code.
CircleCI
Enable AI Agents to fix build failures from CircleCI.
GTmetrix MCP
Get web performance tests and data in your AI workflow
Harness
Access and interact with Harness platform data, including pipelines, repositories, logs, and artifact registries.
Loadster MCP
Load testing and synthetic monitoring. Test your site with Playwright, Browser Bots, or Protocol Bots. Use the MCP to build and play test scripts, configure load tests, analyze test results, and set up monitors.

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

Directory

Newest MCP Servers
Official MCP Servers
Remote MCP Servers
WebMCP Directory
MCP Clients

Learn

What is an MCP server?
What is WebMCP?
WebMCP in Chrome
MCP Topics
Claude Skills

More

Submit
Advertise
Blog
Codex Resets

© 2026 mcpservers.orgcontact [at] mcpservers.org