Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.
python "$CODEX_HOME/skills/.system/skill-installer/scripts/install-skill-from-github.py" --repo openclaw/skills --path skills/apozzi/mathproofs-claw
| Ставится в | openclaw |
| Путь | skills/apozzi/mathproofs-claw |
| Тип | Скил |
| Категория | Скилы и промпты |
| Цена | открытый код |
| Платформа | Командная строка |
| Системы | cli, файл-инструкция |
| Хостинг | local |
| Установка | skill |
| Ставится в | openclaw |
| Путь установки | skills/apozzi/mathproofs-claw |
| Язык сайта | en |
| Вендор | OpenClaw |
| GitHub | openclaw/skills |
| ★ Звёзд | 2 795 |