All authors
Claude Skills by heyongjun666
github.com/heyongjun66612 skills1 installs8 views
- Anti Generic UiDetect and fix the "AI-generated look" in front-end UI — the generic styling coding agents default to (Inter everywhere, Tailwind indigo/slate ramp, card-in-card layouts, bounce easing, hero→features→pricing skeletons). Use BEFORE building any UI from scratch, and AFTER generating UI to audit and polish it. TRIGGER on: "make this look good/professional/less generic", "polish the UI", "it looks AI-generated", "design a landing page/dashboard", "improve the design", or any review of front-end v...Votes: 0GitHub stars: 145
- Improve Codebase ArchitectureScan a codebase for deepening opportunities, present them as a visual HTML report, then grill through whichever one you pick.Votes: 0GitHub stars: 145
- To Issues将计划/PRD 拆分为可独立领取的 issue（tracer bullet 垂直切片），写入本地 issues/ 目录。纯 batch 模式，不发布到任何 issue tracker，不与用户交互。Votes: 0GitHub stars: 145
- To Prd将当前对话/上游文档综合为 PRD，写入本地 prd.md 文件。纯 batch 模式，不发布到任何 issue tracker，不与用户交互。Votes: 0GitHub stars: 145
- Diagnosing BugsDiagnosis loop for hard bugs and performance regressions. Use when the user says "diagnose"/"debug this", or reports something broken/throwing/failing/slow.Votes: 0GitHub stars: 145
- Domain ModelingBuild and sharpen a project's domain model. Use when the user wants to pin down domain terminology or a ubiquitous language, record an architectural decision, or when another skill needs to maintain the domain model.Votes: 0GitHub stars: 145
- GrillingInterview the user relentlessly about a plan or design. Use when the user wants to stress-test a plan before building, or uses any 'grill' trigger phrases.Votes: 0GitHub stars: 145
- Math Proof Blueprint数学证明蓝图与引理台账约定。把问题拆成带状态的依赖图（假设/已知/待证/已证/有反例），定义"问题是否被解决"的可检查判据（闭包/无环/结论对齐），并给每条结论标注证据等级。当需要拆解证明依赖、核对整体是否闭合或判定结论可信度时使用。Votes: 0GitHub stars: 145
- Math Proof Rigor数学证明的对抗性审查纪律。用于逐行核验证明、寻找漏洞、构造反例并判定成立性。当需要审查或验证一个证明、找 gap、构造反例、或判断证明是否成立时使用。Votes: 0GitHub stars: 145
- Math Symbolic Computation用 SymPy 与 NumPy 做符号与数值计算的实用指南。用于化简、求导、求极限、级数展开、解方程、数值验证与反例搜索。当需要实际运行符号/数值计算来验证猜想或生成算例时使用。Votes: 0GitHub stars: 145
- Math Thinking Lenses探索数学问题时的多视角思维透镜。用公理化、对偶、对称、谱、变分、极端、归纳、计数等视角切换思路，帮助突破单一思路的僵局。当探索问题思路、形成猜想或评估证明路径时使用。Votes: 0GitHub stars: 145
- TddTest-driven development. Use when the user wants to build features or fix bugs test-first, mentions "red-green-refactor", or wants integration tests.Votes: 0GitHub stars: 145