claude-code-aristotle-plugin
这个Claude Code插件是你的数学证明和代码正确性验证的终极搭档。它能帮你把模糊的思路变成严格的Lean 4证明，或者像X光一样扫描你的代码，找出潜在bug。想象有个IMO金牌得主随时帮你检查作业——就是这种感觉。
功能简介
这个Claude Code插件是你的数学证明和代码正确性验证的终极搭档。它能帮你把模糊的思路变成严格的Lean 4证明，或者像X光一样扫描你的代码，找出潜在bug。想象有个IMO金牌得主随时帮你检查作业——就是这种感觉。
适用能力
[{"title":"学术界的瑞士军刀","desc":"将抽象的数学思维转化为可执行的验证流程，让'理论上可行'变成'严格证明可行'"},{"title":"复用项目上下文","desc":"结合已有文件、规则和输入材料，减少每次重新说明背景的成本。"},{"title":"输出可交付结果","desc":"适合生成分析结果、执行步骤、代码修改建议或可复制的内容草稿。"}]
输入说明
需求描述、项目文件、参考资料、截图或用户指定的执行规则。
输出说明
分析结果、执行步骤、生成内容、代码修改或可复制的交付文档。
示例提示词
["使用 claude-code-aristotle-plugin 帮我处理这个任务","调用 claude-code-aristotle-plugin，按当前项目规则给出执行方案","用 claude-code-aristotle-plugin 生成一版可以直接交付的结果"]
安装命令
codex skill add afhverjuekki/claude-code-aristotle-plugin