Prover
Integrates with the Succinct Prover Network to monitor, calibrate, and optimize prover operations.
Install
Install and configure the MCP from https://github.com/d3lta02/prover-mcp now. Follow the repository's installation instructions, ask me for anything you can't complete yourself, and verify its tools load.Related servers
Everythingmodelcontextprotocol91KReference / test server with prompts, resources, and toolsFetchmodelcontextprotocol91KWeb content fetching and conversion for efficient LLM usageFilesystemmodelcontextprotocol91KSecure file operations with configurable access controlsGitmodelcontextprotocol91KTools to read, search, and manipulate Git repositories