Progressive-disclosure instructions an agent loads on demand. Cheap until invoked, which is why the per-session figure on each card is usually two digits.
Skill Codex needs its repo
Use this when an AI should work on an external Lean project through the installed lean-beam wrapper, giving it direct efficient access to Lean's proof engine to avoid repeated inner-loop rebuilds through cheap speculative checks and zero-build module checkpoints.
Skill Claude CodeCodex
Present interactive HTML, visualizations, dashboards, and generated interfaces on connected Cybara nodes.
Skill Claude CodeCodex
Production-grade MCP server for personal Outlook (Outlook.com / Hotmail / Live). 62 typed Graph tools across mail, calendar, contacts, to-do, drafts, attachments, folders, threading, batch ops, delta-sync. Granular permissions, OS-keyring auth, /$batch-optimized triage and bulk read. Built for agents that need real…
Skill Claude CodeCodex
A bilingual guide for planning research and exploring important scientific questions through Socratic questioning, where questions help clarify ideas and assumptions. It follows the idea that research is a conversation with existing knowledge and other researchers.
Skill Claude CodeCodex
A design guide for organizing code around small interfaces that hide substantial behavior. It defines shared terms for modules, implementations, adapters, seams, testability, and the benefits of keeping changes localized.
Skill Codex
A workflow for turning a Chinese voiceover script and optional images into a branded 16:9 AI-knowledge video in the “Paper Algorithm” style.
Skill Codex
Verify and proofread C code with ACSL using this repository's Frama-C MCP workflow, Frama-C WP static proof, EVA alarms, and optional E-ACSL runtime checks. Use when asked to run Frama-C, check ACSL contracts, explain WP goals, inspect EVA alarms, validate C annotations, or state what a C proof does and does not…
Skill Claude CodeCodex needs its repo
A workflow for turning manual web-app test cases into Playwright end-to-end tests and running them. End-to-end tests check a complete user flow through the website.
Anil-matcha/zack-d-films-ai-video-generator
Skill Claude CodeCodex
Turn ONE curiosity-driven topic or question into a finished Zack D Films-style 3D animated short video, end to end on the MuAPI platform + local ffmpeg — curiosity-loop script, character consistency sheets, 3D keyframe rendering, motion clips, cloned voiceover, zoom-ins, transitions, and captions, all automated. Use…
Skill Claude Code
Read, search and analyze Claude Code session transcripts (the .jsonl under /.claude/projects), and message another running lane. Use this INSTEAD of grep/ripgrep/cat/jq/python: the format has documented traps that return plausible wrong answers, no error (a user-role filter overcounts human turns 3x; a sixth of human…
Skill Claude CodeCodex
A conversational tool for Chinese traditional fortune analysis using Bazi and Zi Wei Dou Shu, systems based on birth details and astrological charts.
google-marketing-solutions/adspace_agent
Skill Claude CodeCodex
Use this skill ONLY when the user requests something related to trafficking, pushing, or editing campaigns in Campaign Manager 360 (CM360) (for example "push my campaigns to CM360", "edit my campaigns", "traffic in CM360", "parse trafficking sheet"). Parses a CM360 Trafficking Sheet (TSheet) and executes the creation…
Skill Claude Code
Use when conducting comprehensive code review for pull requests across multiple quality dimensions. Orchestrates 12-15 specialized reviewer agents across 4 phases using star topology coordination. Covers automated checks, parallel specialized reviews (quality, security, performance, architecture, documentation)…
girijashankarj/cursor-handbook
Skill Cursor
Create a new API handler following the handler pattern. Use when the user asks to create an endpoint, handler, or route.
Skill Claude CodeCodex
This file is the session context an operator agent (Hermes or any other LLM CLI) loads when attached to agentOS. It is not a UI. It is not a PD.
Skill Claude CodeCodex
A data export tool that copies ZCode's local record of model usage into 10Router, a service that tracks usage statistics.
Skill Claude CodeCodex
Search local KakaoTalk keyword, BM25, and EmbeddingGemma vector indexes through the katok CLI, list rooms, export chunks or transcripts, extract attachments, and prepare guarded message sends only after explicit user confirmation.
Skill Claude CodeCodex
Answer questions about the ACME oneM2M CSE open source project — installation, configuration, runtime options, protocol bindings, plugins, scripting, and development. Use this skill whenever the user asks anything about ACME CSE, oneM2M, acmecse, acme.ini, CSE setup, or running/configuring the ACME middleware, even if…
Skill Claude CodeCodex
Copy this template to your Claude Desktop scheduled-tasks directory.
Skill Claude CodeCodex
Process CSV data files by cleaning, transforming, and analyzing them. Use this when users need to work with CSV files, clean data, or perform basic data analysis tasks.
Shelpuk-AI-Technology-Consulting/agent-skill-tdd
Skill Claude CodeCodex
Use for every coding task. Enforce strict TDD workflow: activate Serena, investigate first, clarify+confirm requirements, write per-task REQUIREMENTS.md in .requirements/ /, verify APIs via web search, then implement in tiny test-verified steps.
Skill Claude CodeCodex
Create technical design documents for new features, systems, refactoring plans, API designs, and database schemas. Use when asked to write a design doc, TRD (technical requirements document), RFC, or system design document. Triggers on requests like "write a design doc for X", "design the Y feature", "create a…
SpillwaveSolutions/mastering-typescript-skill
Skill Claude CodeCodex
Master enterprise-grade TypeScript development with type-safe patterns, modern tooling, and framework integration. This skill provides comprehensive guidance for TypeScript 5.9+, covering type system fundamentals (generics, mapped types, conditional types, satisfies operator), enterprise patterns (error handling…
Skill Claude CodeCodex
Secure API proxy that stores credentials encrypted and injects auth server-side. Use when: (1) making any external API call — "call the Stripe API", "enrich my data [from PeopleDataLabs]", "create an image [using Nano Banana API]", "use a [RapidAPI service]", (2) the user shares an API key, token, or secret — "here's…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: