.agents/skills/bluebubbles/SKILL.md
Use when you need to send or manage iMessages via BlueBubbles (recommended iMessage integration). Calls go through the generic message tool with channel="bluebubbles".
npx skillsauth add x402agent/solana-clawd bluebubblesInstall 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.
BlueBubbles is SolanaOS's recommended iMessage integration. Use the message tool with channel: "bluebubbles" to send messages and manage iMessage conversations: send texts and attachments, react (tapbacks), edit/unsend, reply in threads, and manage group participants/names/icons.
target (prefer chat_guid:...; also +15551234567 in E.164 or [email protected])message text for send/edit/replymessageId for react/edit/unsend/replypath for local files, or buffer + filename for base64If the user is vague ("text my mom"), ask for the recipient handle or chat guid and the exact message content.
BlueBubbles is a first-class channel in the SolanaOS Go daemon (pkg/channels/bluebubbles/). Configure via env vars:
BLUEBUBBLES_SERVER_URL=http://localhost:1234 # Your BlueBubbles server
BLUEBUBBLES_PASSWORD=your-server-password
BLUEBUBBLES_WEBHOOK_PATH=/webhooks/bb # Optional webhook endpoint
BLUEBUBBLES_ALLOW_FROM=+17324063563 # Optional sender allowlist
Or in your config JSON:
{
"channels": {
"bluebubbles": {
"enabled": true,
"server_url": "http://localhost:1234",
"password": "your-server-password",
"webhook_path": "/webhooks/bb",
"allow_from": ["+17324063563"]
}
}
}
The daemon polls for new inbound iMessages every 5 seconds and routes them through the same OODA agent loop as Telegram and X messages.
BlueBubbles can also be used as a Claude Code channel plugin for push-event automation. With channels enabled, iMessages arrive directly in your running Claude Code session:
# Install the iMessage channel plugin
/plugin install imessage@claude-plugins-official
# Restart with channels enabled
claude --channels plugin:imessage@claude-plugins-official
# Or combine with Telegram
claude --channels plugin:telegram@claude-plugins-official plugin:imessage@claude-plugins-official
This lets you:
{
"action": "send",
"channel": "bluebubbles",
"target": "+17324063563",
"message": "hello from SolanaOS"
}
{
"action": "react",
"channel": "bluebubbles",
"target": "+17324063563",
"messageId": "<message-guid>",
"emoji": "❤️"
}
{
"action": "react",
"channel": "bluebubbles",
"target": "+17324063563",
"messageId": "<message-guid>",
"emoji": "❤️",
"remove": true
}
{
"action": "edit",
"channel": "bluebubbles",
"target": "+17324063563",
"messageId": "<message-guid>",
"message": "updated text"
}
{
"action": "unsend",
"channel": "bluebubbles",
"target": "+17324063563",
"messageId": "<message-guid>"
}
{
"action": "reply",
"channel": "bluebubbles",
"target": "+17324063563",
"replyTo": "<message-guid>",
"message": "replying to that"
}
{
"action": "sendAttachment",
"channel": "bluebubbles",
"target": "+17324063563",
"path": "/tmp/photo.jpg",
"caption": "here you go"
}
{
"action": "sendWithEffect",
"channel": "bluebubbles",
"target": "+17324063563",
"message": "big news",
"effect": "balloons"
}
channels.bluebubbles (serverUrl/password/webhookPath).chat_guid targets when you have them (especially for group chats).extensions/bluebubbles/README.md.pkg/channels/bluebubbles/bluebubbles.go.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