.agents/skills/pump-website/SKILL.md
PumpOS — static HTML/CSS/JS web desktop for the Pump SDK with 169 Pump-Store apps, live token dashboards, interactive DeFi tools, PWA support, and Vercel deployment.
npx skillsauth add x402agent/solana-clawd pump-websiteInstall 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.
PumpOS is a fully static HTML/CSS/JS web desktop environment — a browser-based OS simulation themed around Solana DeFi. No framework, no build step. Deployed on Vercel at pumpos.app.
| File | Purpose |
|------|---------|
| website/index.html | Desktop shell — taskbar, windows, start menu, wallpaper |
| website/script.js | App management, window lifecycle, taskbar, default apps |
| website/system32.js | OS kernel — event bus, IPC routing, user system |
| website/pump.css | Design system tokens — colors, spacing, radii, easing |
| website/style.css | Full component styles — windows, taskbar, menus |
| website/sw.js | Service worker — cache-first PWA |
| website/live.html | Real-time token launch dashboard (WebSocket relay) |
| website/vercel.json | Static deployment config with SPA rewrite |
index.html) as the desktop shellsystem32.js provides event bus + IPC between apps via postMessagescript.js manages window lifecycle, taskbar, and 30 built-in appswebsite/scripts/ (kernel, window manager, wallet-connect, etc.)All in website/Pump-Store/apps/ as individual .html files. Database at Pump-Store/db/v2.json. Categories:
CSS custom properties in pump.css:
#00e87b (Pump green)#0a0a0a → #111111 → #1a1a1a (dark theme)0.7em / 0.35em / 0.233em)web+pump:// protocol handler/index.html/libs/ and /assets/ get immutable caching (1 year)api/proxy.jssystem32.js event bus for inter-app communicationpump.css for themingsystem32.js IPC requires apps to listen for postMessage eventsscript.js default app list controls first-launch pins — update it when adding built-in appsdevelopment
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