Lean4 Skills
Lean4-skills是Claude的数学证明助手，让机器帮你搞定Lean 4里的复杂证明题。它能自动修复证明漏洞、填补缺失步骤，还能教你写出更简洁专业的数学证明，就像有个数学教授24小时贴身辅导。
- 30秒变1秒的极速反馈
- 16种专业分析工具
- 数学库智能搜索
- 跨会话记忆学习
- 数学论文写作
- 计算机科学理论证明
- Lean 4学习
- 数学竞赛准备
- 需配合Lean 4使用
- 深度证明需额外配置
x1xhlol/system-prompts-and-models-of-ai-tools
x1xhlol
这是一个AI开发者必备的宝库，收录了30+主流AI工具的系统提示词和内部模型文档。相当于给你一本AI工具的'后厨食谱'，让你看透各大平台的运作机制。
30万行真实系统提示词，让你站在AI工具设计者的肩膀上开发
anthropics/claude-code
anthropics
Claude Code 是 Anthropic 官方的终端 CLI 工具，就像一个懂你代码的智能助手。它能帮你理解复杂代码、执行日常任务、处理 Git 工作流，一切只需用自然语言告诉它。
大幅提升开发效率，复杂的Git操作一句话搞定
obra/superpowers
obra
Superpowers 是你代码开发的超级助手。它能像资深工程师一样思考，把你的模糊想法变成清晰计划，分解任务并监督执行。不再是机械写代码，而是帮你设计、规划和把关整个开发流程。
不仅写代码，更懂如何组织开发流程，就像免费雇了个技术主管
CherryHQ/cherry-studio
CherryHQ
Cherry Studio 是你的 AI 超级工具箱，一个桌面端就能同时调用 OpenAI、Claude、Gemini 等主流大模型。300+预置助手任选，支持文档处理、代码高亮，还能多模型协同对话。
聚合主流AI服务，文档处理与代码开发无缝衔接，开源免费却有商业级体验
affaan-m/everything-claude-code
affaan-m
这是一份Node.js后端开发的黄金指南，收录了RESTful API设计、数据库优化、缓存策略等实战模式。就像有个资深架构师手把手教你写出工业级代码，从此告别低效的后端开发。
37k星标验证的实战精华，直接提升代码质量和开发效率
ComposioHQ/awesome-claude-skills
ComposioHQ
Awesome Claude Skills 是一个精选的技能合集，让你的Claude从聊天机器人变成全能助手。它能处理文档、分析数据、自动编程，甚至连接500+应用发送邮件、创建任务，真正解放你的双手。
无缝连接日常工具链，把机械操作交给AI，专注创造性工作