Prover MCP

與 Succinct Prover Network 整合，以監控、校準及優化證明者操作。