claude

proof-server

Deep technical reference for the Midnight proof server — internal architecture, complete API reference, configuration tuning, and operational monitoring

47 on GitHubby Midnight Foundationv0.2.0Apache-2.0updated 15 days ago
/

Plugin proof-server from marketplace midnight-expert in midnightntwrk/midnight-expert. Commands read from the repo's manifest — 12 days ago.

What it installs

Skills (5)

  • proof-server:proof-server-api

    This skill covers the proof server REST API and HTTP interface. Use it when the user asks about the prove, check, k-value, fetch-params, or proof-versions endpoints, the deprecated prove-tx endpoint, proof generation API, proof server health check, proof server readiness check, proof server port, wo

  • proof-server:proof-server-architecture

    This skill covers proof server internals and how the proof server works. Use it when the user asks about architecture, worker pool, job queue, job lifecycle, proving pipeline, concurrency, capacity limiting, garbage collection, ZKIR versioning, key material management, key prefetching, binary serial

  • proof-server:proof-server-configuration

    This skill covers proof server CLI flags, environment variables, and tuning guidance. Use it when the user asks about proof server configuration, num-workers, job-capacity, job-timeout, no-fetch-params, how many workers should I use, proof server slow, proof server out of memory, proof server enviro

  • proof-server:proof-server-integration

    This skill covers how the Midnight proof server is invoked in practice — who calls it, the client-server contract, self-hosted vs wallet-delegated proving, network proof-server endpoints, production deployment behind a reverse proxy, and CORS. Use it for "who calls the proof server", "ProofProvider"

  • proof-server:proof-server-operations

    This skill covers monitoring, troubleshooting, and capacity planning for the proof server. Use it when the user asks about health check patterns, readiness checks, busy status, logs, performance, job queue monitoring, Docker or Kubernetes health checks, 503 errors, 429 errors, 400 errors, timeout is

View source on GitHub

More from midnightntwrk/midnight-expert

All 16 plugins →

Verification framework for Midnight claims — verifies Compact code by compiling and executing test contracts, SDK/TypeScript claims by type-checking and devnet E2E testing, ZKIR circuits by running through the WASM checker and inspecting compiled structure, witness implementations by cross-domain type-checking and execution against compiled contracts, or by inspecting source code. Multi-agent pipeline with explicit /verify command.

19 skills · 2 commands · 7 agents · hooks

47

Core knowledge for writing Midnight Compact smart contracts — contract structure, data types, ledger declarations, circuits, witnesses, and common patterns.

15 skills · 3 commands · 3 agents · hooks

47

Installs, configures, and manages the Midnight Network development toolchain — Compact CLI, compiler version switching, local devnet (node, indexer, proof server), diagnostics, and release notes for all Midnight components.

6 skills · 5 commands

47

Code quality tooling for Midnight Network projects — linting, formatting, type checking, testing, Git hooks, and CI workflows.

7 skills · 2 agents

47

Conceptual foundations for understanding the Midnight Network: architecture, data models, privacy patterns, protocols, tokenomics, and zero-knowledge proofs

6 skills · 1 agent

47

Fact-checking pipeline for Midnight content — extracts testable claims from any source (markdown, code, PDFs, URLs, GitHub repos), classifies them by domain (Compact, SDK, ZKIR, Witness), and verifies each claim using the midnight-verify framework. Produces structured JSON artifacts and human-readable reports.

3 skills · 2 commands · 2 agents

47

Similar plugins

Claude API and SDK documentation skill for building LLM-powered applications

19 skills

anthropics/skills 193,780

Documentation generation, drift detection, and API docs automation

2 skills · 1 command · 1 agent

ruvnet/ruflo 81,589

Skill: add headroom-ai compress() to a Python or TypeScript app to cut LLM input tokens (tool outputs, logs, JSON, chat history). No API key.

1 skill

headroomlabs-ai/headroom 79,508

Install the "AAS Backend & API Platform" workflow plugin from Agentic Awesome Skills.

19 skills

sickn33/agentic-awesome-skills 49,620

expo

claude

Official Expo skills for building, deploying, upgrading, and debugging React Native apps with Expo. Covers UI development with Expo Router, SwiftUI and Jetpack Compose components, Tailwind CSS setup, API routes, data fetching, CI/CD workflows, App Store and Play Store deployment, SDK upgrades, DOM components, and dev client distribution.

23 skills · 1 MCP server

anthropics/claude-plugins-official 47,076

Backend API design, GraphQL architecture, workflow orchestration with Temporal, and test-driven backend development

9 skills · 1 command · 8 agents

wshobson/agents 42,461

Maintain proof-server?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins16 plugins