.agents/skills/mcporter/SKILL.md
Use the mcporter CLI to list, configure, auth, and call MCP servers/tools directly (HTTP or stdio), including ad-hoc servers, config edits, and CLI/type generation.
npx skillsauth add x402agent/solana-clawd mcporterInstall 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.
Use mcporter to work with MCP servers directly.
Quick start
mcporter listmcporter list <server> --schemamcporter call <server.tool> key=valueCall tools
mcporter call linear.list_issues team=ENG limit:5mcporter call "linear.create_issue(title: \"Bug\")"mcporter call https://api.example.com/mcp.fetch url:https://example.commcporter call --stdio "bun run ./server.ts" scrape url=https://example.commcporter call <server.tool> --args '{"limit":5}'Auth + config
mcporter auth <server | url> [--reset]mcporter config list|get|add|remove|import|login|logoutDaemon
mcporter daemon start|status|stop|restartCodegen
mcporter generate-cli --server <name> or --command <url>mcporter inspect-cli <path> [--json]mcporter emit-ts <server> --mode client|typesNotes
./config/mcporter.json (override with --config).--output json for machine-readable results.development
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