skills/gateway-node-ops/SKILL.md
How to spawn a SolanaOS Gateway and connect headless nodes
npx skillsauth add x402agent/solana-clawd skills/gateway-node-opsInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Ensure the following tools are installed:
tmux — brew install tmuxtailscale — https://tailscale.com/downloadsolanaos — npm install -g solanaosgo — https://go.dev/dl/// turbo
cd /Users/8bit/Downloads/nanosolana-go && go build -ldflags="-s -w" -o build/solanaos .
// turbo
solanaos node gateway-spawn
This will:
solanaos gateway in a detached tmux session// turbo
./scripts/gateway-spawn.sh
Same result, but works without building SolanaOS first.
From the hardware device (Orin Nano, RPi, etc.), run:
solanaos node pair --bridge <TAILSCALE_IP>:18790 --display-name "My Orin Nano"
Then approve from the gateway host:
solanaos nodes approve <requestId>
solanaos node run --bridge <TAILSCALE_IP>:18790
To make the daemon automatically spawn a gateway at startup:
GATEWAY_AUTO_SPAWN=true solanaos daemon
Or set in .env:
GATEWAY_AUTO_SPAWN=true
GATEWAY_SPAWN_PORT=18790
GATEWAY_USE_TAILSCALE=true
// turbo
# Check status
./scripts/gateway-spawn.sh --status
# Kill the gateway
solanaos node gateway-kill
# Or via script
./scripts/gateway-spawn.sh --kill
# Attach to see gateway logs
tmux attach -t solanaos-gw
# Raspberry Pi (ARM64)
GOOS=linux GOARCH=arm64 go build -ldflags="-s -w" -o build/solanaos-linux-arm64 .
# NVIDIA Orin Nano (ARM64)
GOOS=linux GOARCH=arm64 go build -ldflags="-s -w" -o build/solanaos-orin .
solanaos node gateway-spawnsolanaos node run --bridge <IP>:18790development
Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.
data-ai
Orchestrate multi-bot trading swarms on Pump.fun with persona-driven agents
tools
End-to-end Solana development playbook (Jan 2026). Prefer Solana Foundation framework-kit (@solana/client + @solana/react-hooks) for React/Next.js UI. Prefer @solana/kit for all new client/RPC/transaction code. When legacy dependencies require web3.js, isolate it behind @solana/web3-compat (or @solana/web3.js as a true legacy fallback). Covers wallet-standard-first connection (incl. ConnectorKit), Anchor/Pinocchio programs, Codama-based client generation, LiteSVM/Mollusk/Surfpool testing, and security checklists.
tools
Buy and sell tokens on Pump.fun bonding curves and AMM pools