AI bots & agents

Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization.

Text-to-Speech service using Doubao (Volcano Engine)

Efficiently extract and convert the contents of any local file—such as PDF, DOCX, DOC, ODT, RTF, XLSX, XLS, or HTML—int…

Analyzes Axiom query patterns to find unused data, then builds dashboards and monitors for cost optimization. Use when…

After you give a substantive answer or draft that the user may act on — advice or recommendations, drafted artifacts such as goals, plans, pitches, proposals, or emails, estimates or projections, analysis or interpretation of data, factual claims they may rely on, or a multi-step argument — invoke this skill BEFORE finalizing your reply and then, if it applies, append 2-3 short follow-up questions, each tied to something specific in what you just produced, that help the user check key facts, probe the reasoning or assumptions, and notice missing context. Do this at most once per conversation. Skip it when the user asked a trivial how-to or simple lookup, wants a purely educational explanation, asked you only to format, convert, or assemble a file from content they provided, is writing code they will run, is doing creative writing or casual chat, or already asked you to double-check, cite, or review — the skill file explains these boundaries and the exact output format.

Hardware-level mouse, keyboard & dialog automation on macOS via CGEvent + AppleScript.

Reviews and authors Cloudflare Workers code against production best practices. Load when writing new Workers, reviewing…

Generate AI avatars from photos or text descriptions using each::sense.

Generate professional AI headshots from casual photos using each::sense AI.

Set up and use 1Password CLI (op).

Keep a reviewable decision trail for long-running or unattended work: a TSV log with one row per decision (what, why, e…

Vercel Sandbox guidance — ephemeral Firecracker microVMs for running untrusted code safely. Supports AI agents, code ge…

Control Assimilate Live FX / SCRATCH — professional color grading, compositing, and virtual production software.

Text-to-speech using macOS built-in `say` command.

A comprehensive toolkit for AI agents operating under budget constraints.

Creating algorithmic art using p5.js with seeded randomness.

Validate Chinese mobile phone numbers using the apipick China Phone Checker API.

A RESTful service for high-quality text-to-speech using Qwen3.

Analyze competitor strategies, content, pricing, ads, and market positioning across Google Maps, Booking.com.

Interact with Apollo.io REST API (people/org enrichment, search, lists).

Use when starting any conversation - establishes how to find and use skills, requiring skill invocation before ANY resp…

Search Airbnb listings with prices, ratings, and direct links.

Access and manage Bitwarden/Vaultwarden passwords securely.

Generate or edit images via Gemini 3 Pro Image on Replicate.