.agents/skills/ordercli/SKILL.md
Foodora-only CLI for checking past orders and active order status (Deliveroo WIP).
npx skillsauth add x402agent/solana-clawd ordercliInstall 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 ordercli to check past orders and track active order status (Foodora only right now).
Quick start (Foodora)
ordercli foodora countriesordercli foodora config set --country ATordercli foodora login --email [email protected] --password-stdinordercli foodora ordersordercli foodora history --limit 20ordercli foodora history show <orderCode>Orders
ordercli foodora ordersordercli foodora orders --watchordercli foodora order <orderCode>ordercli foodora history show <orderCode> --jsonReorder (adds to cart)
ordercli foodora reorder <orderCode>ordercli foodora reorder <orderCode> --confirmordercli foodora reorder <orderCode> --confirm --address-id <id>Cloudflare / bot protection
ordercli foodora login --email [email protected] --password-stdin --browser--browser-profile "$HOME/Library/Application Support/ordercli/browser-profile"ordercli foodora cookies chrome --profile "Default"Session import (no password)
ordercli foodora session chrome --url https://www.foodora.at/ --profile "Default"ordercli foodora session refresh --client-id androidDeliveroo (WIP, not working yet)
DELIVEROO_BEARER_TOKEN (optional DELIVEROO_COOKIE).ordercli deliveroo config set --market ukordercli deliveroo historyNotes
--config /tmp/ordercli.json for testing.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