MCP HubMCP Hub
SKILL·86AE7F

move-prover

raintree-technology
更新日 4 months ago
36 閲覧
84
9
84
GitHubで表示
テストaidesign

について

このClaude Skillは、開発者がMove Proverを使用してAptos Moveスマートコントラクトを形式的に検証することを支援します。事前条件、事後条件、不変条件の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

よくある質問

move-prover Skillとは何ですか?

move-prover はraintree-technology が作成した Claude Skillです。Skillは、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を実行し、MMLUやGSM8Kなど60以上の標準化学術タスクでLLMをベンチマークします。開発者がモデルの品質を比較し、トレーニングの進捗を追跡し、学術的な結果を報告するために設計されています。このツールはHuggingFaceやvLLMモデルを含む様々なバックエンドをサポートしています。

スキルを見る
cloudflare-cron-triggers
テスト

このスキルは、cron式を使用してWorkersをスケジュールするためのCloudflare Cron Triggersの実装に関する包括的な知識を提供します。定期的なタスクの設定、メンテナンスジョブ、自動化されたワークフローの構築を網羅し、無効なcron式やタイムゾーン問題といった一般的な課題への対処法も含みます。開発者はこれを使用して、スケジュールされたハンドラーの設定、cronトリガーのテスト、WorkflowsやGreen Computeとの連携を構成できます。

スキルを見る
webapp-testing
テスト

このClaude Skillは、Playwrightベースのツールキットを提供し、Pythonスクリプトを通じてローカルWebアプリケーションのテストを可能にします。フロントエンドの検証、UIデバッグ、スクリーンショット撮影、ログ表示を実現し、サーバーライフサイクルを管理します。ブラウザ自動化タスクにご利用いただけますが、コンテキストの汚染を避けるため、スクリプトのソースコードを読むのではなく直接実行してください。

スキルを見る
finishing-a-development-branch
テスト

このスキルは、開発者がテストの合格を確認し、構造化された統合オプションを提示することで、完成した作業を仕上げることを支援します。実装が完了した後のマージ、PR作成、ブランチの整理といったワークフローを案内します。コードが準備できてテスト済みの際に使用し、開発プロセスを体系的に完了させましょう。

スキルを見る