Prover MCP
About
Integrates with the Succinct Prover Network to monitor, calibrate, and optimize prover operations.
Details
- Author
- d3lta02
- Categories
- Developer Tools, Finance, Infrastructure, Other
Jump to
Setup
Install Prover MCP in your MCP client (Claude Desktop, Cursor, Windsurf, and others).
Repository: https://github.com/d3lta02/prover-mcp
Follow the installation instructions in the repository README, then restart your MCP client.
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.
Scout's official MCP pipes error, trace and metric data from production to your AI agent
A server for monitoring and analyzing Java Virtual Machine (JVM) processes using Arthas, with a Python interface.
Query Scouter APM (objects, counters, XLog transactions) over stdio via a Scouter collector.
An MCP server for system diagnostics and monitoring on Ubuntu using common command-line tools.
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.
Enable AI Agents to fix build failures from CircleCI.
Get web performance tests and data in your AI workflow
Access and interact with Harness platform data, including pipelines, repositories, logs, and artifact registries.
Official Sentry MCP server for investigating issues, error reports, traces, and performance monitoring data from AI coding agents.
Stateful health monitoring, diagnostics, and web attestation for AI agents. 11 MCP tools. Free Founder's Beta
Sign in to leave a review
Use Google, GitHub, or an email account so ratings stay tied to real people.
No reviews posted yet.
