MCP HubMCP Hub
SKILL·86AE7F

move-prover

raintree-technology
Обновлено 4 months ago
36 просмотров
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
Путь: skills/aptos/move-prover
0
agent-configai-agentsanthropicclaudeclaude-codecli
FAQ

Часто задаваемые вопросы

Что такое Skill move-prover?

move-prover — это Claude Skill от raintree-technology. Skills объединяют инструкции и ресурсы, которые Claude загружает по мере необходимости, чтобы выполнять задачи, связанные с move-prover, без дополнительных запросов.

Как установить move-prover?

Используйте команды установки на этой странице: добавьте move-prover в Claude Code как плагин или клонируйте репозиторий в каталог skills, затем перезапустите Claude, чтобы загрузить Skill.

К какой категории относится move-prover?

move-prover относится к категории Тестирование.

Можно ли использовать move-prover бесплатно?

Да. move-prover размещён на AIMCP и доступен для бесплатной установки.

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

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

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

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