llm-aidata-ai
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 placeholders.
maintainer
hxrts
Actualizado 1/14/2026
Estrellas
0
Forks
0
quick start
Installation and usage
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 placeholders.
Instalación
$ install --globalskills.sh
Uso
Después de instalarlo, puedes usar este skill ejecutando el siguiente comando en tu terminal:
skills use aristotle