GitHub
aristotle
Prove Lean 4 theorems using the Aristotle proof synthesis service. Use when the user mentions "aristotle", "prove", "fill sorries", or wants to automatically generate proofs for Lean files with sorry placeholde...
☆ 0查看技能
hxrts AI Skills
GitHub ↗浏览 hxrts 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
1收录技能的仓库 Stars 合计
0仓库 Forks
0平均每个技能的仓库 Stars
0同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。