setup-prover

Deploys and configures Boundless prover infrastructure on GPU servers using Ansible playbooks.

Updated Apr 11, 2026
One-click install
npx skills add https://github.com/Current-cmd/TrustMeBRO --skill setup-prover-current-cmd
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: setup-prover
Source: https://github.com/Current-cmd/TrustMeBRO/tree/main/.claude/skills/setup-prover
Command: npx skills add https://github.com/Current-cmd/TrustMeBRO --skill setup-prover-current-cmd

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Deploying a Boundless prover to a GPU server involves many error-prone manual steps: installing NVIDIA drivers, configuring Docker with the NVIDIA Container Toolkit, writing Ansible inventories, managing secrets, and tuning broker.toml settings. This Skill guides the entire deployment, redeployment, and troubleshooting workflow so nothing is missed. ## Core Features & Use Cases - Full-stack deployment: Creates Ansible inventory files with env-var-based secrets, tests SSH connectivity, and runs the prover playbook to install NVIDIA drivers, Docker, and the bento compose stack. - Flexible image modes: Supports pre-built nightly images, pinned SHA tags, release versions, or building from source, plus custom broker.toml via URL or local file. - Operations & troubleshooting: Covers teardown, selective deployment with --skip-tags, log inspection, GPU verification, postgres password fixes, and scaling the bento-worker-overflow AWS Auto Scaling group. - Use Case: You have a new Latitude.sh GPU server and need a production prover running. The Skill walks you through creating the inventory, exporting PROVER_PRIVATE_KEY and PROVER_RPC_URLS, running the playbook, and verifying the broker is healthy. ## Quick Start Ask the assistant to deploy a Boundless prover to your GPU server at a given IP address using Ansible with the nightly image tag.

Frequently Asked Questions about setup-prover

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I deploy a Boundless prover to a GPU server with Ansible?▼

Create an inventory YAML file with the host IP and secrets referenced via env lookups, export PROVER_PRIVATE_KEY and PROVER_RPC_URLS, test connectivity with ansible -m ping, then run ansible-playbook with prover.yml. The playbook installs NVIDIA drivers, Docker, and the bento stack.

How do I deploy a feature branch to a staging prover?▼

Run ansible-playbook locally with --limit staging and -e prover_version=feature/my-branch, optionally overriding prover_broker_toml_url to the branch's raw file. Alternatively, update the pipeline inventory stored in AWS Secrets Manager and re-run the CI pipeline.

Which server providers are supported for prover deployment?▼

Any Ubuntu 22.04 or 24.04 server with an NVIDIA GPU and SSH access works. Tested providers include Latitude.sh bare metal and GPU VMs, AWS EC2 GPU instances, and local Ubuntu dev machines.

Why does the postgres password not change after redeploying the prover?▼

The old password persists in the existing Docker volume. Run docker compose down -v to remove volumes, then restart the bento service. Warning: this deletes the broker database and MinIO data.

How do I skip NVIDIA driver installation during redeployment?▼

Use --skip-tags nvidia, or --skip-tags nvidia,docker if both are already installed. The NVIDIA and Docker roles are idempotent, so running the full playbook on a configured host is also safe.

How do I scale the bento-worker-overflow fleet for high queue depth?▼

Update the AWS Auto Scaling group desired capacity with aws autoscaling update-auto-scaling-group. Suggested capacity is 2-4 instances for queue depths of 20-50, 4-8 for 50-200, and 8 or more above 200, scaling down gradually afterward.