Découvrez les skills Outils, comparez leurs dépôts et consultez leurs instructions.
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...
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...
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.
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...
Research web pages using agent-browser and summarize documentation or articles. Use when investigating URLs, checking page content, or summarizing documents.
Runs checks per AGENTS.md and writes the verification transcript to tasks/20_verification.md.
Refactors for readability after verification is green, re-running checks and updating 20_verification.md.
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...
Creates a strict Task Brief and a handoff note using the tasks/ workflow.
Create a general plan for any type of task
Implement a plan from a specification file
Create git commit for all uncommitted changes in the repository
Understand the codebase structure and setup the project
Start the project services
Create an empty commit for testing purposes
List all core built-in development tools available
Simple skill that prints a templated message with agf_id and prompt
Create a GitHub pull request with generated description
Create a comprehensive plan to implement a new feature
Install and prime the project environment
Implement a task directly without creating a plan first
Create a plan to complete a chore task
Generate RSpec test files for Ruby on Rails code. Creates model specs, request specs, service specs, and other test types. Uses FactoryBot when available in the project. Use when asked to write tests, create sp...
Generate README.md files for projects. Use when creating a readme, writing project documentation, or when the user asks for a README.
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é.