GitHub
deployment
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...
Skills IA Données et IA
Découvrez les skills Données et IA, comparez leurs dépôts et consultez leurs instructions.
Catégories: Données et IA
Données et IA Effacer les filtres
Explorer
GitHub
deployment
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...
GitHub
dependencies
Manage project dependencies across all apps. Use when installing, updating, or managing dependencies, or when user asks to install packages.
GitHub
check-envs
Check and validate all required environment variables in .env file. Use when verifying environment setup or troubleshooting configuration issues.
GitHub
check-envs
Check and validate all required environment variables in .env file. Use when verifying environment setup or troubleshooting configuration issues.
GitHub
commit
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...
GitHub
use-research
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...
GitHub
test-driven-development-tdd
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...
GitHub
loogle
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...
GitHub
refactor
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.
GitHub
issue
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...
GitHub
browser-research
Research web pages using agent-browser and summarize documentation or articles. Use when investigating URLs, checking page content, or summarizing documents.
GitHub
verify-app
Runs checks per AGENTS.md and writes the verification transcript to tasks/20_verification.md.
GitHub
code-simplifier
Refactors for readability after verification is green, re-running checks and updating 20_verification.md.
GitHub
implementor-stage-gate
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...
GitHub
spec-refiner
Creates a strict Task Brief and a handoff note using the tasks/ workflow.
GitHub
plan
Create a general plan for any type of task
GitHub
implement
Implement a plan from a specification file
GitHub
create-commit
Create git commit for all uncommitted changes in the repository
GitHub
prime
Understand the codebase structure and setup the project
GitHub
start
Start the project services
GitHub
empty-commit
Create an empty commit for testing purposes
GitHub
tools
List all core built-in development tools available
GitHub
test-printing
Simple skill that prints a templated message with agf_id and prompt
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.