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...
☆ 0View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
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.
☆ 0View skill
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...
☆ 0View skill
GitHub
browser-research
Research web pages using agent-browser and summarize documentation or articles. Use when investigating URLs, checking page content, or summarizing documents.
☆ 0View skill
GitHub
verify-app
Runs checks per AGENTS.md and writes the verification transcript to tasks/20_verification.md.
☆ 0View skill
GitHub
code-simplifier
Refactors for readability after verification is green, re-running checks and updating 20_verification.md.
☆ 0View skill
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...
☆ 0View skill
GitHub
spec-refiner
Creates a strict Task Brief and a handoff note using the tasks/ workflow.
☆ 0View skill
GitHub
plan
Create a general plan for any type of task
☆ 0View skill
GitHub
implement
Implement a plan from a specification file
☆ 0View skill
GitHub
create-commit
Create git commit for all uncommitted changes in the repository
☆ 0View skill
GitHub
prime
Understand the codebase structure and setup the project
☆ 0View skill
GitHub
start
Start the project services
☆ 0View skill
GitHub
empty-commit
Create an empty commit for testing purposes
☆ 0View skill
GitHub
tools
List all core built-in development tools available
☆ 0View skill
GitHub
test-printing
Simple skill that prints a templated message with agf_id and prompt
☆ 0View skill
GitHub
create-github-pr
Create a GitHub pull request with generated description
☆ 0View skill
GitHub
feature
Create a comprehensive plan to implement a new feature
☆ 0View skill
GitHub
install
Install and prime the project environment
☆ 0View skill
GitHub
build
Implement a task directly without creating a plan first
☆ 0View skill
GitHub
chore
Create a plan to complete a chore task
☆ 0View skill
GitHub
rspec-tester
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...
☆ 0View skill
GitHub
readme
Generate README.md files for projects. Use when creating a readme, writing project documentation, or when the user asks for a README.
☆ 0View skill
GitHub
commit
Create well-formatted commits with conventional commit messages. Use when: creating commits, staging changes, running git commit, or when asked to commit code. Triggers automatically for any git commit workflow...
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.