Browsing:

jeffrey-dot-li

Draft sorryd theorem/lemma structure for a larger result from a proof sketch.

openai

Create a PR title and draft description after substantive code changes are finished. Trigger when wrapping up a moderate-or-larger change (runtime code, tests, build config, docs with behavior impact)

affaan-m

ai-first-engineering is an AI agent skill for ai-first engineering.

affaan-m

Blueprint is a construction plan generator that creates step-by-step plans from one-line objectives for coding agents

affaan-m

energy-procurement is an AI agent skill for energy procurement.

neondatabase

README.md is an AI agent skill for <source media="(prefers-color-scheme: dark)" srcset="https://neon.com/brand/neon-logo-dark-color.svg.

DaccordProject

Run tests, fix lint errors, break down large files, and clean up debug artifacts

mouayadakel

Reduces API payload size via select/pagination, compression, and caching headers. Use when responses are large (>100KB) or high-traffic.

aaronlifton

security-ownership-map is an AI agent skill for security ownership map.

agoudbg

Prepare and iterate changelists/pull requests using Google-style author practices. Use when writing clear CL descriptions, splitting large changes, bundling tests, handling reviewer comments, and keep

suleymanozkeskin

collie-quick-reference is an AI agent skill for collie — index-backed code search.

nhijudyshop

energy-procurement is an AI agent skill for energy procurement.