LeetCode

Guided, Socratic-style coaching for LeetCode / algorithm problems in this repo. Use when the user is stuck on a problem ("how do I think about this", "I'm stuck", "推一下"), wants help proving a greedy / DP solution is correct, asks for hints without spoilers, opens a Note{ID}.md they want to fill in, or invokes /socratic-tutor explicitly. Do NOT volunteer the full solution — give layered hints, ask the user to commit to an approach, then derive complexity together. SKIP this skill if the user explicitly says "just give me the answer", "no socratic", "stop asking, tell me", or is doing a contest under time pressure and wants the answer fast.

Bootstrap MkDocs Material docs sites with optional GitHub Pages deploy, uv-pinned tooling, llms.txt/copy-to-LLM support, page/nav helpers, and mkdocs-static-i18n languages such as zh-TW. Use when the user asks to set up docs, publish docs to GitHub Pages, create an MkDocs site, turn README or markdown notes into a site, add bilingual/multilingual docs, add zh-TW/Traditional Chinese, i18n, or translate docs. Consent-gated; records repo preferences and never auto-migrates existing docs.