Agent skills for OpenAI Agents SDK

Ideate and design lead magnets for cold email campaigns.

Scrape and verify business leads using Apify, classify with LLM, enrich emails, and save to Google Sheets.

Automate Leadoku tasks via Rube MCP (Composio).

Interface with Lean 4 proof assistant for formal theorem verification

Design MVPs, validated learning experiments, and pivot-or-persevere decisions using Build-Measure-Learn.

Local context tooling for AI agents. Use it to select, shape, reuse, recover, and inspect context before inference when reading files…

Code search via LeanKG MCP when HTTP :9699 is healthy; otherwise skip LeanKG and use default Grep/Glob/Read.

Turn an uploaded PDF, paper, book chapter, document, URL, or user-provided topic into a structured, interactive learning course.

Generates structured HTML study plans with interactive Mermaid diagrams from pre-analyzed video data.

Use when a user asks conceptual questions about Shuriken — what it does, what features exist, how a feature works, or "what is X on…

Use when the user invokes /learn or asks to remember, save, or capture a pattern, decision, gotcha, procedure, or feature dossier from…

[Beta] CI-only learning aggregation workflow using gh-aw (GitHub Agentic Workflows).

Adjusts and refines dynamic learning plans based on learner feedback while preserving existing progress and milestones.

Operate a user-authorized online learning platform to resume eligible courses, use the highest visible allowed playback speed, handle…

Tracks study milestones, mastery evidence, review schedules, and recommended next steps using evidence-based, read-only progress summaries.

Generates standardized, multi-chapter learning project directories and runnable workspaces for interactive coding courses.

Converts structured knowledge into interactive diagrams using 5 core visualization types

Move a family photo library off Google Photos onto self-hosted Immich, with a backup that actually restores.

Global TypeScript-first engineering router.

This skill should be used when working with NWConnection patterns for iOS 12-25, supporting apps that can't use async/await yet, or…

Automates browser interactions for web testing, form filling, screenshots, and data extraction.