proof-server:proof-server-configuration

Official

Configure proof server for reliable proving.

Authordevrelaicom
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Provides clear, actionable configuration and tuning guidance to prevent proof server failures, memory exhaustion, slow startups, and throughput bottlenecks so operators can reliably run the Midnight proof server in development, CI, and production.

Core Features & Use Cases

  • Flag and env mapping: Documents every CLI flag and its corresponding environment variable for consistent automation.
  • Deployment profiles: Prescribes recommended settings for development, CI, and production including Docker memory limits, worker counts, and job capacity.
  • Tuning guidance: Explains worker sizing, job timeouts, parameter prefetching tradeoffs, and expected startup time to support capacity planning and troubleshooting.

Quick Start

Start the proof server with an appropriate Docker memory limit, set num-workers to match available CPU cores, and apply a job-capacity limit for production safety.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: proof-server:proof-server-configuration
Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#proof-server-proof-server-configuration

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.