.agents/skills/pump-mcp-server/SKILL.md
Model Context Protocol server exposing 53 tools, 3 resource types, and 3 prompts for AI agent consumption — quoting, building transactions, fee management, analytics, AMM operations, social fees, wallet operations over stdio transport.
npx skillsauth add x402agent/solana-clawd pump-mcp-serverInstall 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.
Model Context Protocol server exposing tools, resources, and prompts for AI agent consumption over stdio transport with session keypair management.
AI Agent (Claude, etc.)
│
stdio transport
│
SolanaWalletMCPServer
│
┌────┼────────┬──────────┐
│ │ │ │
Tools Resources Prompts Session
│ │ │ State
7 3 3 │
tools types prompts Keypair
| Tool | Description |
|------|-------------|
| generate_keypair | Generate a new random Solana keypair |
| generate_vanity | Generate vanity address with prefix/suffix |
| estimate_vanity_time | Estimate time for vanity pattern |
| validate_address | Validate a Solana Base58 address |
| sign_message | Sign a message with session keypair |
| verify_signature | Verify a signed message |
| restore_keypair | Restore keypair from secret key bytes |
| URI Pattern | Description |
|-------------|-------------|
| solana://keypair/current | Current session keypair info |
| solana://keypair/{id} | Specific keypair by ID |
| solana://address/{address} | Address validation details |
| Prompt | Description |
|--------|-------------|
| generate-wallet | Guide user through wallet generation |
| vanity-address | Guide vanity address generation with difficulty estimate |
| security-review | Review security of wallet operations |
class SolanaWalletMCPServer {
private sessionKeypair: Keypair | null = null;
generateKeypair(): KeypairInfo {
if (this.sessionKeypair) {
this.sessionKeypair.secretKey.fill(0); // zeroize old
}
this.sessionKeypair = Keypair.generate();
return this.getKeypairInfo();
}
}
@solana/web3.js onlygenerate_vanity is single-threaded — long prefixes will be slowsign_message requires an active session keypair — generate_keypair firstdevelopment
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