Home Remote Servers Topics Agent Skills Blog

Advertise Submit

Home
Servers
Prover MCP

Prover MCP

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

Documentation

No documentation available.

MCP server details

RepositoryGitHub repository

Category: Development

Promoted

Sponsored

kogiQA MCP Web Browser

This is a web browser that enables your coding agent, such as Claude Code, to visit websites on your behalf and assist you in identifying bugs or creating UI test cases.

View on github.com

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.
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.
Sentry MCP
Official Sentry MCP server for investigating issues, error reports, traces, and performance monitoring data from AI coding agents.
Botrite by Lattiq
Stateful health monitoring, diagnostics, and web attestation for AI agents. 11 MCP tools. Free Founder's Beta

Newest MCP Servers Official MCP Servers Remote MCP Servers MCP Topics What is an MCP server?Clients

contact [at] mcpservers.org