Pre-gate self-check for drift detection and philosophy alignment. Use when: preparing for human gate review,...
cat ~/Top
Explore os melhores skills ordenados por estrelas do GitHub
15,333 skills
Adaptive refinement for blocked or drifted changes. Use when: implementation is blocked, scope drifts >20%, or...
Update docs and context for OpenSpec changes. Use when: saving session state, refreshing docs after implementation,...
Layered verification for OpenSpec changes. Use when: running tests after implementation, validating specific test...
Translate new entries in XLF files. Finds state="new" in changed messages.{LANG}.xlf files, shows context, proposes...
A sample skill that says hello.
Guideline setup and develop application base on SvelteKit, tailwindcss, shadcn-svelte framework.
Add a new variable to an existing TLA+ specification without changing its semantics. Ensures the variable is...
Generate a high-level TLA+ model from source code (C, C++, Rust, etc.). Analyzes code to understand its purpose,...
Split a TLA+ action into two sequential actions by introducing a new program counter (pc) state. Handles pc variable...
Python coding standards and best practices for AI coding agents
Python development tooling configuration and best practices
安裝 Agent Skills 到本機。當用戶想要「安裝技能」、「新增 skill」、「從 GitHub 安裝 skill」、或「install skill from repo」時觸發此技能。
Connect agents to external platforms (HubSpot, Salesforce, etc.) via Nango using header authentication.
>-
Find out who you are in HubSpot using Nango.
>-
A skill to manage Jira issues, including listing issue types.
Scan for unprotected MCP servers using @contextware/mcp-scan package. Enables security auditing of local AI tools...
Handles API key authentication for MCP servers that require header-based authentication.
Handles OAuth authentication flows for protected MCP servers that require user authorization.
>-
>-
Helps agents author cross-platform, portable skills following best practices