skills.rest
Current-cmd
Current-cmdCOMMUNITY
Explore all skills by this author →
GitHub

setup-prover

Deploy Boundless prover infrastructure to GPU servers using Ansible.

1|Updated Apr 11, 2026
Search Tags:#docker#infrastructure#gpu#deploy#ansible#nvidia#bento
One-click install
npx skills add https://github.com/Current-cmd/PlsTrustMe --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/PlsTrustMe/tree/main/.claude/skills/setup-prover
Command: npx skills add https://github.com/Current-cmd/PlsTrustMe --skill setup-prover-current-cmd

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Manual deployment of the Boundless prover stack to GPU servers is brittle and error-prone. This skill automates inventory setup, SSH connectivity, NVIDIA driver installation, Docker deployment, and the full bento stack using Ansible, reducing setup time and variance across servers.

Core Features & Use Cases

  • New prover deployment — create inventory, deploy full stack (NVIDIA + Docker + bento)
  • Redeploy/update — update images, config, or git version on an existing server
  • Tear down — stop services and clean up
  • Troubleshoot — check service health, logs, GPU status
  • Configure — tune broker.toml settings (peak_prove_khz, concurrency, etc.)

Quick Start

Create your inventory and export secrets as environment variables, then run the Ansible playbook to deploy the full prover stack.

Frequently Asked Questions about setup-prover

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

FAQPage Schema
How do I automate Boundless prover deployment on GPU servers using Ansible?▼

Automate Boundless prover deployment on GPU servers using Ansible by defining inventory, establishing SSH connectivity, and running playbooks to install NVIDIA drivers, Docker, and the bento stack idempotently.

What is needed to configure NVIDIA drivers and Docker for a prover stack?▼

Configuring NVIDIA drivers and Docker for a prover stack requires GPU servers with SSH access, an Ansible inventory file, and environment variables for secret handling to execute the idempotent deployment playbooks.

Can I use Ansible to troubleshoot GPU status and bento service health?▼

Yes, you can use Ansible to troubleshoot GPU status and bento service health by running playbooks that check service logs, verify NVIDIA GPU availability, and inspect the bento stack for issues.

How do I tune broker.toml settings like peak_prove_khz for a prover deployment?▼

Tune broker.toml settings like peak_prove_khz and concurrency for a prover deployment by applying optional configuration steps during the Ansible playbook execution to adjust bento stack performance.

Does Ansible support tearing down a bento stack and cleaning up GPU servers?▼

Yes, Ansible supports tearing down a bento stack and cleaning up GPU servers by executing tear down playbooks that stop services and remove deployed infrastructure components idempotently.

What is the best way to redeploy or update Docker images on an existing prover server?▼

The best way to redeploy or update Docker images on an existing prover server is using Ansible playbooks to apply new configurations, update git versions, and refresh the bento stack seamlessly.

Related Skills

Explore More Software Engineering Skills→
boundless-xyzboundless-xyz
195

setup-prover

Automate Boundless prover stack deployment to GPU servers with Ansible.

Official
Advanced
felipefontourafelipefontoura
20

status

Assess system resources, service replicas, and HTTPS reachability on a bento-managed VPS.

Community
Basic
jayll1303jayll1303
17

docker-gpu-setup

Build GPU-enabled Docker containers with NGC base images and uv.

Community
Advanced
b08xb08x

ansible-automation

Automate Ansible playbook creation, role management, and Docker container setup.

Community
Advanced