All Skills

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.

Search GIF providers with CLI/TUI, download results, and extract stills/sheets.

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.

Foodora-only CLI for checking past orders and active order status (Deliveroo WIP).

Summarize or extract text/transcripts from URLs, podcasts, and local files (great fallback for “transcribe this YouTube/video”).

Manage Apple Notes via the `memo` CLI on macOS (create, view, edit, delete, search, move, and export notes). Use when a user asks SolanaOS to add a note, list notes, search notes, or manage note folders.

Delegate coding tasks to Codex, Claude Code, or Pi agents via background process. Use when: (1) building/creating new features or apps, (2) reviewing PRs (spawn in temp dir), (3) refactoring large codebases, (4) iterative coding that needs file exploration. NOT for: simple one-liner fixes (just edit), reading code (use read tool), thread-bound ACP harness requests in chat (for example spawn/run Codex or Claude Code in a Discord thread; use sessions_spawn with runtime:"acp"), or any work in ~/clawd workspace (never spawn agents here). Claude Code: use --print --permission-mode bypassPermissions (no PTY). Codex/Pi/OpenCode: pty:true required.

Extract single frames or short clips from videos using ffmpeg.

Local speech-to-text with the Whisper CLI (no API key).

Manage Apple Reminders via remindctl CLI (list, add, edit, complete, delete). Supports lists, date filters, and JSON/plain output.

Solana development patterns used in the Pump SDK — Anchor IDL-based program interaction, SPL Token and Token-2022 management, transaction construction with instruction composition, RPC batching, and cross-program coordination.

Batch-generate images via OpenAI Images API. Random prompt sampler + `index.html` gallery.

Use when the user wants to run, monitor, or debug the SolanaOS Seeker daemon and Telegram command flow

Secure Solana wallet generation using official Solana Labs libraries — Ed25519 keypairs, memory zeroization, vanity address generation, offline-only operation, and multi-language implementations (Rust, TypeScript, Bash).

Scrapes pump.fun/board using Chrome browser automation to extract the top 100 trending Solana tokens and writes structured markdown for a trading agent to consume. Use this skill any time you need to: scan pump.fun for new tokens, refresh the pump.md token list, run the scheduled board scrape, collect Solana meme token data, or build/update a trading watchlist from pump.fun. Even if the user says something casual like "check pump" or "update the token list" or "what's trending on pump", use this skill. The output file path and format are configurable but default to /Users/8bit/solanaos/pump.md.

当需要系统性地规划个人生活、职业发展或特定项目，以摆脱外部干扰、聚焦核心目标时

当感到生活迷茫、缺乏动力、效率低下，需要快速打破现状并重建秩序时

当在行动或追求目标过程中遇到挫折、痛苦或不满等负面体验时，调用此模型将负面体验转化为指引方向的积极信号

当需要深化对某个主题的理解、检验知识掌握程度或克服“冒名顶替综合征”时

当需要主动设计和构建个人职业生涯，而非被动接受传统就业时

当个人或品牌不希望被狭窄市场定义，追求基于独特世界观和多样能力的长期发展时

当需要将个人目标或生活挑战转化为结构化、可执行的游戏化系统时

当需要在写作中与读者建立情感连接、放大问题严重性，并引出后续解决方案时

当需要在2-3个月内集中精力攻克一个重大、有挑战性的个人或职业目标时，使用此模型

当需要进入并维持高效、专注的心流状态，以提升学习、工作或技能获取效率时

当需要将抽象的核心能力（如逻辑、修辞、心理学）转化为具体、可实践、可学习的现代技能时调用此模型

当需要克服拖延、激发最大行动力以完成一项重大挑战或转型时

当遭遇挫折、失败或结果不如预期时，用于将负面经验转化为成长燃料

当需要解构一个复杂系统（如品牌、产品、知识体系）以理解其组成部分及结构时

当需要从现有内容中创造新意，或避免内容同质化时

当面对新任务或目标，因过度思考“如何开始”或“需要多久”而陷入拖延、焦虑，迟迟无法行动时

当需要为个人或小型企业建立在线品牌身份，以吸引目标受众并建立共享认知框架时

当需要系统性地理解、诊断和提升个人专注力，以优化工作效能和生活体验时

当需要将生活或工作中的复杂情境转化为可管理、可执行的系统时，或当感到迷茫、缺乏动力、陷入社会比较时，调用此模型来重新构建认知和行动框架

当个体感到生活缺乏方向、陷入重复性任务或被动接受外部目标，导致焦虑、无聊或停滞时，调用此模型以重新获得对生活的掌控感和成长动力

Adapt designs to work across different screen sizes, devices, contexts, or platforms. Ensures consistent experience across varied environments.