MCP HubMCP Hub
SKILL·D829AB

move-prover

raintree-technology
Обновлено 1 month ago
7 просмотров
84
9
84
Посмотреть на GitHub
Тестированиеaidesign

О программе

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

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

Claude Code

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

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

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

raintree-technology/claude-starter
Путь: .agents/skills/aptos/move-prover
0
agent-configai-agentsanthropicclaudeclaude-codecli
FAQ

Frequently asked questions

What is the move-prover skill?

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

How do I install move-prover?

Use the install commands on this page: add move-prover 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 move-prover belong to?

move-prover is in the Testing category, tagged ai and design.

Is move-prover free to use?

Yes. move-prover 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
Тестирование

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

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