Guides Claude through using rdc-cli to open RenderDoc .rdc captures, trace draws/shaders/pixels, and run GPU assertions in CI.
Guides Claude through building and debugging Arcium encrypted (MPC) apps on Solana across circuit, program and client layers.
Generates ACSL formal specifications — function contracts, loop invariants and memory-safety clauses — for C/C++ code so it can be proven with Frama-C.
Infers loop invariants, preconditions and postconditions via abstract interpretation and emits them in Dafny, Isabelle, Coq or ACSL syntax.
A repo-specific conventions skill that teaches Claude the Claude Code CLI codebase layout, tool/command patterns, and naming rules.
A repo-maintenance skill that audits and fixes every skill, agent, index, and cross-reference doc in the Han plugin repository.
An SST v4 (Ion) expert skill for authoring, testing, deploying and troubleshooting sst.config.ts and infra/ modules on AWS.
An expert skill for deploying, operating, and evaluating AI agents across all nine AWS Bedrock AgentCore services.
A reference skill that teaches Claude AgentDB's advanced side: QUIC sync, hybrid vector+metadata search, multi-DB sharding, MMR and production patterns.
A developer reference for wiring Agentica agents to a Claude Code CLI proxy, covering required flags, response formats, and common failures.
A diagnostic skill that scores Claude Code skill bundles across 10 categories — structure, version sync, skill quality, workflow integration and security — and writes a Go/No-Go audit report.
A rigorous pre-implementation planning skill: 10+ scoping questions, web research, and reviewer/criticizer rounds until the plan converges.
An orchestrator that diagnoses a Claude Code skill or bundle-plugin and improves its triggering description, token cost, workflow chain and security findings step by step.
A blueprint skill for building, structuring, and publishing reusable Convex components.
A multi-agent execution rulebook: decompose plans into tasks, isolate each task on its own branch, enforce two-stage review, and gate merges behind human checkpoints.
A lookup skill covering the Agentica multi-agent framework's pattern classes, core infrastructure, and primitives.