Что такое aristotle-lean?
Доказательство теорем Lean4 на уровне золотой медали IMO с помощью Harmonic API Источник: plurigrid/asi.
·aristotle-lean
</>
aristotle-lean
✓Доказательство теорем Lean4 на уровне золотой медали IMO с помощью Harmonic API
Установка
Как установить aristotle-lean
Быстро установите AI-навык aristotle-lean в вашу среду разработки через командную строку
- Откройте терминал: Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.)
- Выполните команду установки: Скопируйте и выполните эту команду: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean
- Проверьте установку: После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
Источник: plurigrid/asi.
SKILL.md
Показать rawTrit: -1 (MINUS) Domain: Formal Verification / Theorem Proving Provider: Harmonic (harmonic.fun)
Aristotle is an IMO Gold Medal level Lean4 theorem prover that fills sorry holes in proofs, auto-generates counterexamples for false statements, and integrates with Mathlib and lake dependencies.
| MiniF2F | 90% | | VERINA | 96.8% |
Доказательство теорем Lean4 на уровне золотой медали IMO с помощью Harmonic API Источник: plurigrid/asi.
Факты (для цитирования)
Стабильные поля и команды для ссылок в AI/поиске.
- Команда установки
npx skills add https://github.com/plurigrid/asi --skill aristotle-lean- Источник
- plurigrid/asi
- Категория
- </>Разработка
- Проверено
- ✓
- Впервые замечено
- 2026-02-01
- Обновлено
- 2026-03-10
Короткие ответы
Как установить aristotle-lean?
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
Где находится исходный репозиторий?
https://github.com/plurigrid/asi
Детали
- Категория
- </>Разработка
- Источник
- skills.sh
- Впервые замечено
- 2026-02-01