Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.

Agent skill that rewrites rough prompts into polished, model-specific prompts — grounded in the official Anthropic prompting guides

Practical Agent Skills — English-for-engineers coaching, Pi Agent setup, and more. Install via npx skills add.

Markdown that steers an LLM is code. Genesis is the architectural layer for designing multi-agent, multi-skill systems -- with named patterns, contracts, and substrate portability, before you write them.

Vendor-neutral OpenTelemetry skills for AI coding agents, grounded in upstream sources

Agent skills for Spec Kit

A Claude Code skill that consolidates scattered project markdown files into a single canonical CLAUDE.md, with a pinned PROGRESS block at the top.

Skills for Syncfusion® Toolkit for .NET MAUI components. Enable AI-assisted development with comprehensive documentation, code examples, and best practices for 30+ UI controls including Charts, Calendar, Cards and more.

Agent Skill that turns messy notes into rendered strategy-consulting visuals, with SVG examples and validation.

Prompt packs that make any AI agent a LaTeX expert — fix errors, polish writing, format for venues, read papers, recover source

Apollo GraphQL Agent Skills

A large set of app-specific Agent Skills for connecting agents to common SaaS tools.

Turn your markdown vault into a compounding knowledge wiki (Karpathy inspired). Six agent skills - knowledge grows with every conversation. Works with Obsidian, Logseq, etc. or just folders on your local drive. Compiled memory for your LLM sessions. Crossplatform. GUI install on Claude Desktop, no terminal, no code.

Academic research agent skills for Claude Code and other Agent Skills-compatible tools. Hypothesis generation, experiment design, paper drafting, peer review simulation, and more.

OpenTelemetry skills and reference documentation for AI coding assistants - instrumentation patterns, telemetry quality guides, and Dash0 integration

Skills for shipping better software.

Hand-drawn diagram skill for Claude Code and Codex. Generates monochrome architecture, workflow, and UX blueprint diagrams as PNGs.

Session lifecycle management for Claude Code — persistent memory, soul purpose, reconcile, harvest, archive

Build a living, searchable AI second brain from your ChatGPT, Claude, and research history - Karpathy-style. A Claude Code skill.

239 evaluated academic Claude/agent skills across 17 research domains (bioinformatics, data science, clinical, social-science methods, Turkish academia & more). Executable eval per skill, deterministic citation verifier, research→write→review→publish pipeline, and a skill-finder front door. Claude Code, Cursor, Codex, Gemini CLI & Copilot.

Skywork Agent Skills for AI office suites, including AI PPT, AI Document, AI Excel, AI Image, AI Search/DeepResearch and AI Music. These skills can be used by any skills-compatible agent, including Claude Code, Codex CLI and OpenClaw.

On-demand design systems from any URL. Five surfaces, one agent: web, API, CLI, TypeScript SDK, and a portable agent skill that runs inside Claude Code, Codex, and Cursor.

Skills for Syncfusion .NET MAUI components. Enable AI-assisted development with comprehensive documentation, code examples, and best practices for 100+ UI controls including DataGrid, Charts, Scheduler, and more.

Agent skills for LandingAI's Agentic Document Extraction (ADE) — production-ready document AI for agentic coding assistants