prove

Name: prove
Author: parcadei

✓

parcadei/continuous-claude-v3GitHub: parcadei/continuous-claude-v3 Источник: parcadei/continuous-claude-v3

Формальное доказательство теорем с этапами исследования, тестирования и проверки

parcadei·prove

156Установки·2Тренд·@parcadei

Установка

GitHub: parcadei/continuous-claude-v3

$npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove

Как установить prove

Быстро установите AI-навык prove в вашу среду разработки через командную строку

Откройте терминал: Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.)
Выполните команду установки: Скопируйте и выполните эту команду: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove
Проверьте установку: После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw

Источник: parcadei/continuous-claude-v3.

SKILL.md

Показать raw

For mathematicians who want verified proofs without learning Lean syntax.

First run of /prove will download Mathlib (2GB) via lake build.

Формальное доказательство теорем с этапами исследования, тестирования и проверки Источник: parcadei/continuous-claude-v3.

Факты (для цитирования)

Стабильные поля и команды для ссылок в AI/поиске.

Команда установки: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove
Источник: parcadei/continuous-claude-v3
Категория: </>Разработка
Проверено: ✓
Впервые замечено: 2026-02-01
Обновлено: 2026-03-10
URL: https://www.learn-skills.dev/ru/skills/parcadei/continuous-claude-v3/prove

Browse more skills from parcadei/continuous-claude-v3

Короткие ответы

Что такое prove?

Формальное доказательство теорем с этапами исследования, тестирования и проверки Источник: parcadei/continuous-claude-v3.

Как установить prove?

Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/parcadei/continuous-claude-v3 --skill prove После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw

Где находится исходный репозиторий?

https://github.com/parcadei/continuous-claude-v3

Детали

Категория: </>Разработка
Источник: skills.sh
Впервые замечено: 2026-02-01