MCP HubMCP Hub
SKILL·F27618

prove

parcadei
Обновлено 2 months ago
302 просмотров
3,101
217
3,101
Посмотреть на GitHub
Тестированиеtesting

О программе

Этот навык позволяет проводить формальное доказательство теорем с использованием Lean4 в рамках структурированного 5-этапного рабочего процесса, автоматически выполняя исследование, тестирование и верификацию. Он позволяет разработчикам доказывать математические утверждения на естественном языке без изучения синтаксиса Lean, одновременно автоматически загружая зависимости Mathlib. Инструмент идеально подходит для математиков и разработчиков, которым требуются машинно-верифицируемые доказательства с тщательной формальной проверкой.

Быстрая установка

Claude Code

Рекомендуется
Основной
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
Команда плагинаАльтернативный
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git клонированиеАльтернативный
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/prove

Скопируйте и вставьте эту команду в Claude Code для установки этого навыка

GitHub репозиторий

parcadei/Continuous-Claude-v3
Путь: .claude/skills/prove
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills
FAQ

Frequently asked questions

What is the prove skill?

prove is a Claude Skill by parcadei. Skills package instructions and resources that Claude loads on demand, so Claude can perform prove-related tasks without extra prompting.

How do I install prove?

Use the install commands on this page: add prove to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does prove belong to?

prove is in the Testing category, tagged testing.

Is prove free to use?

Yes. prove is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Похожие навыки

evaluating-llms-harness
Тестирование

Этот навык Claude запускает lm-evaluation-harness для тестирования LLM на более чем 60 стандартизированных академических задачах, таких как MMLU и GSM8K. Он предназначен для разработчиков, чтобы сравнивать качество моделей, отслеживать прогресс обучения или сообщать академические результаты. Инструмент поддерживает различные бэкенды, включая модели HuggingFace и vLLM.

Просмотреть навык
cloudflare-cron-triggers
Тестирование

Этот навык предоставляет обширные знания по реализации Cloudflare Cron Triggers для планирования запуска Workers с помощью cron-выражений. Он охватывает настройку периодических задач, заданий технического обслуживания и автоматизированных рабочих процессов, а также решение распространенных проблем, таких как неверные cron-выражения и ошибки часовых поясов. Разработчики могут использовать его для настройки планировщиков обработчиков, тестирования cron-триггеров и интеграции с Workflows и Green Compute.

Просмотреть навык
webapp-testing
Тестирование

Этот навык Claude предоставляет инструментарий на базе Playwright для тестирования локальных веб-приложений с помощью Python-скриптов. Он позволяет проводить проверку фронтенда, отладку интерфейса, создание скриншотов и просмотр логов, одновременно управляя жизненным циклом сервера. Используйте его для задач автоматизации браузера, но запускайте скрипты напрямую, вместо чтения их исходного кода, чтобы избежать загрязнения контекста.

Просмотреть навык
finishing-a-development-branch
Тестирование

Этот навык помогает разработчикам завершать готовую работу, проверяя прохождение тестов и предлагая структурированные варианты интеграции. Он направляет рабочий процесс по слиянию, созданию пул-реквестов или очистке веток после завершения реализации. Используйте его, когда ваш код готов и протестирован, чтобы систематически завершать процесс разработки.

Просмотреть навык