claude-code-skills
这是一个包含34个完整数学证明的代码技能合集，涵盖算法、分布式系统和形式化验证，达到MIT硕士论文水平。包含255+篇同行评审论文引用，每个证明都有配套实现和统计分析。
功能简介
这是一个包含34个完整数学证明的代码技能合集，涵盖算法、分布式系统和形式化验证，达到MIT硕士论文水平。包含255+篇同行评审论文引用，每个证明都有配套实现和统计分析。
适用能力
[{"title":"算法工程师的证明宝典","desc":"25种核心算法+5大分布式系统证明，附带完整实现和统计验证"},{"title":"复用项目上下文","desc":"结合已有文件、规则和输入材料，减少每次重新说明背景的成本。"},{"title":"输出可交付结果","desc":"适合生成分析结果、执行步骤、代码修改建议或可复制的内容草稿。"}]
输入说明
需求描述、项目文件、参考资料、截图或用户指定的执行规则。
输出说明
分析结果、执行步骤、生成内容、代码修改或可复制的交付文档。
示例提示词
["使用 claude-code-skills 帮我处理这个任务","调用 claude-code-skills，按当前项目规则给出执行方案","用 claude-code-skills 生成一版可以直接交付的结果"]
安装命令
codex skill add Gaku52/claude-code-skills