Claude Code

Building Mathlib

Slack: Send messages, reply in threads, update and delete messages.

Context hygiene — compress, prune, archive .squad/ state

Validate a PRD against standards. Use when the user says "validate this PRD" or "run PRD validation"

仅在作者明确要求执行当前已确认的 append proposal，或明确调用 qw-append-apply 时使用。适用于当前 unit-append.md 已存在、已通过 `is-fresh` 校验、且 `未决事项` 已收束的情况。不要把它当成 append 设计工具，也不要期望它重切旧内容或迁移正文。

Prompt này hướng dẫn AI tạo ra một ảnh mirror selfie full-body kiểu “snapshot” lo‑fi đúng vibe đầu thập niên 2010 (iPhone 4/5, flash gắt, hạt nhiễu/JPEG, phòng ngủ/nhà tắm hơi bừa), đồng thời nếu có ảnh tham chiếu thì phải giữ nguyên danh tính/khuôn mặt và giới tính theo ảnh đó với mức ràng buộc ch…

Define visual tokens and component behavior rules for consistent UI implementation

AI-powered ERD design tool. Create and manage database schemas using DBML with real-time canvas.

Apply Salesforce knowledge and best practices for Data Loader Guide

模拟器思维：不问"你怎么看"，而是问"世界上谁最懂这个？TA 会怎么说？"。触发词：最强大脑、顶级专家、世界级、best minds、谁最懂这个

Design or improve data visualizations, charts, and data presentation interfaces. Use when the user asks to add charts, build dashboards, visualize data, choose chart types, make data accessible, or present metrics and analytics.

Use when needing to fixup, squash, drop, reword, reorder, or edit commits in a branch's history. Handles the non-interactive approach agents need since `git rebase -i` requires a TTY.

Use to audit a design or page for WCAG 2.1 AA — contrast, keyboard, focus, labels, touch targets, screen reader behavior.

AIPPT - 从文章生成精美 PPT 的完整工作流。文章内容 → ASCII PPT 框架 → AI 生图 → 完整 PPT。

Search and download academic papers from arXiv, PubMed, bioRxiv, medRxiv, Google Scholar, Semantic…

Generates production-ready KiCad footprint scripts (.py) from component datasheets (images, PDFs, or text). Specializes in precise coordinate math and official KiCad API compliance.

World P Skill

Mandatory source-fetching skill for dependency/framework code. Always use getsrc operations (fetch/list/get/files/tree/grep/read/ast-grep/remove/clean) instead of GitHub/unpkg/raw URL fetches. Only use external sources if getsrc is unavailable or fails, and explicitly state the fallback.

Haskell release protocol, development conventions, and deep patterns for the ~/haskell/ ecosystem

Translate text between languages using local LLM via Ollama at {{OLLAMA_HOST}}:{{OLLAMA_PORT}}.

Before product-market fit, your job is to learn as fast as possible. That means doing things that won't scale - manual onboarding, concierge service, recruiting users one by one. Paul Graham's "Do Things That Don't Scale" is the bible here. This skill synthesizes the hustle playbook that creates es…

Manage tasks, projects, areas, headings, and tags in the Things 3 macOS app via a local CLI (list Inbox/Today/Upcoming/Anytime/Someday/Logbook, search, create/update/complete/cancel items, open items in Things). Use when Codex needs to manage Things 3 on macOS.

Expand test automation coverage for codebase. Use when user says "lets expand test coverage" or "I want to automate tests"

Very quick process to create implementation-ready quick specs for small changes or features. Use when the user says "create a quick spec" or "generate a quick tech spec"

Choose and configure where ghtkn stores access tokens (keyring, text, agent). Use when the OS keyring is unavailable (containers, microVMs), or when setting up the ghtkn agent backend.

Package map and reading order for Better Translate product skills.

Tauri 2.x + Vue 3 全栈桌面应用开发技能。适用于 Tauri、Vue3、TypeScript、Rust、IPC通信、Command调用、窗口管理、系统托盘、文件操作、SQLite、截图、剪贴板、自动更新、插件开发、性能优化、跨平台桌面应用架构设计等场景。

Use this skill when you need to verify enum field validation.

Use when the sandbox app fails to build, boot, render, authenticate, call AI routes, read offers, or deploy cleanly.

interact with Linear via lnr CLI