.agents/skills/goplaces/SKILL.md
Query Google Places API (New) via the goplaces CLI for text search, place details, resolve, and reviews. Use for human-friendly place lookup or JSON output for scripts.
npx skillsauth add x402agent/solana-clawd goplacesInstall 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.
Modern Google Places API (New) CLI. Human output by default, --json for scripts.
Install
brew install steipete/tap/goplacesConfig
GOOGLE_PLACES_API_KEY required.GOOGLE_PLACES_BASE_URL for testing/proxying.Common commands
goplaces search "coffee" --open-now --min-rating 4 --limit 5goplaces search "pizza" --lat 40.8 --lng -73.9 --radius-m 3000goplaces search "pizza" --page-token "NEXT_PAGE_TOKEN"goplaces resolve "Soho, London" --limit 5goplaces details <place_id> --reviewsgoplaces search "sushi" --jsonNotes
--no-color or NO_COLOR disables ANSI color.--type value (API accepts one).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