发现 测试与安全 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
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.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。