.agents/skills/pump-ai-agents/SKILL.md
AI agent integration layer for the Pump SDK — agent instruction files, .well-known discovery, LLM context documents, 15+ skill files, MCP server prompts, and terminal management rules for GitHub Copilot and Gemini.
npx skillsauth add x402agent/solana-clawd pump-ai-agentsInstall 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.
Configure AI agents (GitHub Copilot and Gemini) to work effectively with the Pump SDK through instruction files, skill registries, and MCP server integration.
| File | Agent | Purpose |
|------|-------|---------|
| AGENTS.md | Universal | Project overview, architecture, security rules |
| COPILOT.md | GitHub Copilot | Instructions pointer |
| GEMINI.md | Google Gemini | Instructions pointer |
| .github/copilot-instructions.md | Copilot Chat | SDK patterns, security rules |
| File | Purpose |
|------|---------|
| .well-known/ai-plugin.json | AI plugin manifest |
| .well-known/agent.json | Agent capabilities and config |
| .well-known/skills.json | Skills registry (15+ skills) |
| .well-known/security.txt | Security contact information |
| File | Size | Purpose |
|------|------|---------|
| llms.txt | Short | Quick reference for LLMs |
| llms-full.txt | Long | Comprehensive LLM context |
{
"schema_version": "v1",
"name": "pump-fun-sdk",
"skills": [
{
"id": "pump-sdk-core",
"name": "Pump SDK Core",
"description": "...",
"path": ".github/skills/pump-sdk-core.skill.md",
"tags": ["typescript", "solana", "sdk"]
}
]
}
isBackground: true) for every commandsolana-sdk, @solana/web3.js, solana-keygen0600 for keypairsBN (bn.js) — never JavaScript number for financial mathcreateInstruction (v1) is deprecated — use createV2Instruction{
"mcpServers": {
"solana-wallet": {
"command": "npx",
"args": ["-y", "@pump-fun/mcp-server"],
"transportType": "stdio"
}
}
}
skills.json when adding or modifying skill filesAGENTS.md, COPILOT.md, and GEMINI.mdskills.json means agents won't discover themdevelopment
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