proof-server:proof-server-configuration
OfficialConfigure proof server for reliable proving.
Software Engineering#configuration#docker#timeout#resource-planning#proof-server#num-workers#job-capacity
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 requiredComponents
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.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.