Claude Code Aristotle Plugin
这个Claude Code插件是你的数学证明和代码正确性验证的终极搭档。它能帮你把模糊的思路变成严格的Lean 4证明，或者像X光一样扫描你的代码，找出潜在bug。想象有个IMO金牌得主随时帮你检查作业——就是这种感觉。
- 96.8% VERINA基准准确率
- 解决数十年未解的Erdos问题
- 数学库和量子引理贡献者
- 3-6分钟快速验证
- 研究生凌晨3点赶论文证明
- 面试前突击检查算法正确性
- 重构关键业务代码时的安全网
- 数学爱好者挑战未解决问题
- 仅支持Lean 4.24.0特定环境
- 自定义库需要特殊处理
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，专注创造性工作