aldegad/skill-hook-authoring
Authoring guide for shared Claude Code + Codex CLI skills and hooks (cross-engine install pattern, modern PreToolUse decision schema, payload contract).
Authoring guide for shared Claude Code + Codex CLI skills and hooks (cross-engine install pattern, modern PreToolUse decision schema, payload contract).
npx add-skill aldegad/skill-hook-authoringAuthoring guide for shared Claude Code + Codex CLI skills and hooks (cross-engine install pattern, modern PreToolUse decision schema, payload contract).
Formally verify Solana programs with Lean 4 proofs. An agent skill powered by Mistral's Leanstral model.
沁言学术科研论文Skills库 - 177个学术研究Agent Skills的综合集合，涵盖论文检索、科学写作、生物信息、药物发现、临床医学等17个分类
A collection of skills for AI coding agents.
Agent Skills for integrating and using Superwall in your apps.
Claude Code plugin marketplace for reticulum development
ARG Action Chain: a Step Contract based execution pattern for controlling LLM Agent drift, hallucination, and self-verification