数据与 AI AI 技能

GitHub

deployment

AndrijaSkontra

Deploy applications to Cloudflare Workers and/or Supabase Edge Functions. Supports unified multi-platform deployment. Use when deploying to production, publishing APIs/functions, or when user requests deploymen...

☆ 0查看技能

GitHub

deployment

AndrijaSkontra

Deploy applications to Cloudflare Workers and/or Supabase Edge Functions. Supports unified multi-platform deployment. Use when deploying to production, publishing APIs/functions, or when user requests deploymen...

☆ 0查看技能

GitHub

dependencies

AndrijaSkontra

Manage project dependencies across all apps. Use when installing, updating, or managing dependencies, or when user asks to install packages.

☆ 0查看技能

GitHub

check-envs

AndrijaSkontra

Check and validate all required environment variables in .env file. Use when verifying environment setup or troubleshooting configuration issues.

☆ 0查看技能

GitHub

check-envs

AndrijaSkontra

Check and validate all required environment variables in .env file. Use when verifying environment setup or troubleshooting configuration issues.

☆ 0查看技能

GitHub

commit

takoeight0821

This skill should be used when the user asks to "create a commit", "commit changes", "write a commit message", "make a commit", needs help with "conventional commits", or wants to understand commit message form...

☆ 0查看技能

GitHub

use-research

takoeight0821

Find relevant research and guide implementation based on it. Use when implementing features, fixing bugs, or exploring techniques where existing research in docs/research/ may provide guidance. Trigger phrases...

☆ 0查看技能

GitHub

test-driven-development-tdd

takoeight0821

This skill should be used when the user asks to "use TDD", "write tests first", "test-driven", "add a test for", "fix bug with TDD", "implement using TDD", "red-green-refactor", or mentions developing features...

☆ 0查看技能

GitHub

loogle

takoeight0821

Search for Lean 4 and Mathlib theorems, lemmas, and definitions by type signature, name, or subexpression pattern. Use when the user asks to find a theorem, look up a Lean definition, search for lemmas, or need...

☆ 0查看技能

GitHub

refactor

takoeight0821

This skill should be used when the user asks to "refactor", "extract function", "rename", "improve code quality", "reduce duplication", or "remove code smell". Supports Lean 4 and general refactoring patterns.

☆ 0查看技能

GitHub

issue

takoeight0821

This skill should be used when the user asks to "create an issue", "write an issue", "add an issue", "log an issue", "report a bug", "document a problem", or wants to track tasks, bugs, or feature requests as G...

☆ 0查看技能

GitHub

browser-research

kokatsu

Research web pages using agent-browser and summarize documentation or articles. Use when investigating URLs, checking page content, or summarizing documents.

☆ 0查看技能

GitHub

verify-app

lightningfastsls

Runs checks per AGENTS.md and writes the verification transcript to tasks/20_verification.md.

☆ 0查看技能

GitHub

code-simplifier

lightningfastsls

Refactors for readability after verification is green, re-running checks and updating 20_verification.md.

☆ 0查看技能

GitHub

implementor-stage-gate

lightningfastsls

Enforce stage-by-stage implementation for multi-step task briefs. Use when acting as the implementor to deliver one stage at a time, pausing for explicit user confirmation before proceeding unless the user requ...

☆ 0查看技能

GitHub