.agents/skills/gifgrep/SKILL.md
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.
npx skillsauth add x402agent/solana-clawd gifgrepInstall 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 gifgrep to search GIF providers (Tenor/Giphy), browse in a TUI, download results, and extract stills or sheets.
GIF-Grab (gifgrep workflow)
Quick start
gifgrep cats --max 5gifgrep cats --format url | head -n 5gifgrep search --json cats | jq '.[0].url'gifgrep tui "office handshake"gifgrep cats --download --max 1 --format urlTUI + previews
gifgrep tui "query"--thumbs (Kitty/Ghostty only; still frame)Download + reveal
--download saves to ~/Downloads--reveal shows the last download in FinderStills + sheets
gifgrep still ./clip.gif --at 1.5s -o still.pnggifgrep sheet ./clip.gif --frames 9 --cols 3 -o sheet.png--frames (count), --cols (grid width), --padding (spacing).Providers
--source auto|tenor|giphyGIPHY_API_KEY required for --source giphyTENOR_API_KEY optional (Tenor demo key used if unset)Output
--json prints an array of results (id, title, url, preview_url, tags, width, height)--format for pipe-friendly fields (e.g., url)Environment tweaks
GIFGREP_SOFTWARE_ANIM=1 to force software animationGIFGREP_CELL_ASPECT=0.5 to tweak preview geometrydevelopment
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