·aristotle-lean
</>
plurigrid/asiaristotle-lean
✓Harmonic API를 통해 증명된 IMO 금메달 수준 Lean4 정리
5설치·0트렌드·@plurigrid
SKILL.md
Trit: -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% |
Harmonic API를 통해 증명된 IMO 금메달 수준 Lean4 정리 출처: plurigrid/asi.
인용 가능한 정보
AI/검색 인용용 안정적인 필드와 명령어.
- 설치 명령어
npx skills add https://github.com/plurigrid/asi --skill aristotle-lean- 카테고리
- </>개발 도구
- 인증됨
- ✓
- 최초 등록
- 2026-02-01
- 업데이트
- 2026-02-18
빠른 답변
aristotle-lean이란?
Harmonic API를 통해 증명된 IMO 금메달 수준 Lean4 정리 출처: plurigrid/asi.
aristotle-lean 설치 방법은?
터미널 또는 명령줄 도구(Terminal, iTerm, Windows Terminal 등)를 엽니다 이 명령어를 복사하여 실행합니다: npx skills add https://github.com/plurigrid/asi --skill aristotle-lean 설치 후 스킬은 자동으로 AI 코딩 환경에 설정되어 Claude Code나 Cursor에서 사용할 수 있습니다
소스 저장소는 어디인가요?
https://github.com/plurigrid/asi
상세
- 카테고리
- </>개발 도구
- 출처
- skills.sh
- 최초 등록
- 2026-02-01