スキルを探す

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.

日本語の概要は準備中です。原文の説明を表示しています。

Defense-in-depth security across Rust, TypeScript, and Bash for the Pump SDK — cryptographic key handling, memory zeroization, secure file I/O, input validation, privilege management, dependency auditing, and a 60+ item security checklist.

日本語の概要は準備中です。原文の説明を表示しています。

Send WhatsApp messages to other people or search/sync WhatsApp history via the wacli CLI (not for normal user chats).

日本語の概要は準備中です。原文の説明を表示しています。

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.

日本語の概要は準備中です。原文の説明を表示しています。

Manage Things 3 via the `things` CLI on macOS (add/update projects+todos via URL scheme; read/search/list from the local Things database). Use when a user asks SolanaOS to add a task to Things, list inbox/today/upcoming, search tasks, or inspect projects/areas/tags.

日本語の概要は準備中です。原文の説明を表示しています。

A CLI tool for making authenticated requests to the X (Twitter) API. Use this skill when you need to post tweets, reply, quote, search, read posts, manage followers, send DMs, upload media, or interact with any X API v2 endpoint.

日本語の概要は準備中です。原文の説明を表示しています。

Use when you need to control Slack from SolanaOS via the slack tool, including reacting to messages or pinning/unpinning items in Slack channels or DMs.

日本語の概要は準備中です。原文の説明を表示しています。

Terminal Spotify playback/search via spogo (preferred) or spotify_player.

日本語の概要は準備中です。原文の説明を表示しています。

Production-quality Bash scripts for Solana vanity generation, keypair verification, batch operations, dependency auditing, and test orchestration — with security-hardened patterns including file permissions, input validation, and cleanup traps.

日本語の概要は準備中です。原文の説明を表示しています。

Full token lifecycle from creation through bonding curve trading, graduation detection, AMM migration, fee collection, and volume tracking on Solana using PumpSdk and OnlinePumpSdk.

日本語の概要は準備中です。原文の説明を表示しています。

Design and derive Program Derived Addresses (PDAs) and account layouts across the Pump ecosystem's four Solana programs — global singletons, per-token accounts, per-user accumulators, and cross-program coordination patterns.

日本語の概要は準備中です。原文の説明を表示しています。

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.

日本語の概要は準備中です。原文の説明を表示しています。

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).

日本語の概要は準備中です。原文の説明を表示しています。

Multi-language test infrastructure for the Pump SDK — Rust unit/integration/security/performance tests, TypeScript Jest tests, Python fuzz tests, shell test orchestration, Criterion benchmarks, and CI quality gates.

日本語の概要は準備中です。原文の説明を表示しています。

Complete SolanaOS agent skill — install, configure, and operate the autonomous Solana trading runtime with Honcho v3 epistemological memory, multi-venue perp trading (Hyperliquid + Aster), on-chain intelligence with USD pricing, Telegram bot, gateway API, Tailscale mesh, hardware integration, and cross-session recall. Use when asked to install SolanaOS, query Solana blockchain data, manage wallets, run OODA trading loops, configure strategies, control BitAxe mining fleets, pair Seeker devices, or operate any SolanaOS runtime surface.

日本語の概要は準備中です。原文の説明を表示しています。

Search and analyze your own session logs (older/parent conversations) using jq.

日本語の概要は準備中です。原文の説明を表示しています。

Educational single-threaded TypeScript vanity address generator for Solana using @solana/web3.js with async iteration, event-loop yielding, streaming generator API, and best-effort memory zeroization.

日本語の概要は準備中です。原文の説明を表示しています。

Generate spectrograms and feature-panel visualizations from audio with the songsee CLI.

日本語の概要は準備中です。原文の説明を表示しています。

PumpOS — static HTML/CSS/JS web desktop for the Pump SDK with 169 Pump-Store apps, live token dashboards, interactive DeFi tools, PWA support, and Vercel deployment.

日本語の概要は準備中です。原文の説明を表示しています。

Control Sonos speakers (discover/status/play/volume/group).

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。

Volume-based PUMP token reward system with day-indexed epochs, pro-rata distribution, accumulator tracking, and cross-program claiming on Solana.

日本語の概要は準備中です。原文の説明を表示しています。

ElevenLabs text-to-speech with mac-style say UX.

日本語の概要は準備中です。原文の説明を表示しています。

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

日本語の概要は準備中です。原文の説明を表示しています。