Claude Skills
ホームチュートリアル💎 無料精选
💻 開発ツール⚙️ バックエンド🎨 フロントエンド🚀 DevOps⛓️ Web3とブロックチェーン🎭 クリエイティブ📄 ドキュメント📊 データとAI💼 ビジネス🤖 自動化🔒 セキュリティ
💎 料金
⌘K
🏠 ホーム📖 チュートリアル💎 無料精选💳 料金
💻 開発ツール⚙️ バックエンド🎨 フロントエンド🚀 DevOps⛓️ Web3とブロックチェーン🎭 クリエイティブ📄 ドキュメント📊 データとAI💼 ビジネス🤖 自動化🔒 セキュリティ
CS
Claude Skills Free

厳選された1500以上のClaude AIスキル紹介プラットフォーム。発見、学習、生産性向上。

カテゴリー

開発ツールフロントエンドバックエンドデータとAIドキュメントDevOps全カテゴリー

リソース

GitHubドキュメントAPIリファレンスClaude AI

会社情報

私たちについてお問い合わせよくある質問

法的情報

プライバシーポリシー利用規約

© 2025 Claude Skills Free. All rights reserved.

❤Claudeコミュニティのために心を込めて

  1. ホーム
  2. Web3 & Blockchain
  3. アプトス ムーブ プローバー
💻
無料
💻Web3 & Blockchain
✓ 検証済み

アプトス ムーブ プローバー

Move Prover形式検証の専門家 - 仕様言語(MSL)、前提条件、事後条件、不変条件、aborts_if、ensures、requires、modifies、emits、グローバル不変条件、スキーマパターン、量化子、ヘルパー関数、プラグマディレクティブ、検証戦略、および証明のデバッグ。キーワード move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma でトリガーされる。

raintree-technology

コア機能

すぐに使える

複雑な設定不要で、ワークフローに素早く統合

コミュニティ検証済み

アクティブなオープンソースコミュニティによる継続的な更新

完全無料

MIT/Apacheライセンスで商用・個人利用可

柔軟な拡張

ニーズに応じてカスタマイズ・拡張可能

使い方

1Skillファイルを取得

ソースリポジトリからスキルファイルをダウンロードまたはコピー

2Claudeにインストール

スキルファイルをClaudeのスキルディレクトリに配置(通常は ~/.claude/skills/)。

3使用開始

Claudeを再起動するか、リロードコマンドを実行してスキルを読み込みます

ヒント: 初回使用前にスキルのドキュメントとコードを注意深く読み、機能と権限要件を理解してください

関連タグ

#authentication#ci-cd#debugging#documentation#git#nodejs#testing

技術情報

作成者
raintree-technology
カテゴリー
Web3 & Blockchain
ファイルサイズ
25.77 KB
ソースリポジトリ
raintree-technology__claude-starter
メタデータ
YAMLメタデータを含む
ライセンス
MIT

すべてのスキルはオープンソースコミュニティから提供され、元の作者の著作権を保持しています

raintree-technology__claude-starter/.claude/skills/aptos/move-prover/Skill.md

このスキルを選ぶ理由

実証済みのメリットと測定可能な影響

90%

高速なスプレッドシート作成

自動書式設定により、複雑なスプレッドシートを数時間から数分で生成します。

75%

手動ミスの削減

AIを活用した検証と自動再計算で、数式の間違いを防止します

60%

分析に要した時間の短縮

手動処理なしで、生データからインサイトと可視化を即座に生成

ユースケース

これらのシナリオに最適

📊

ファイナンシャルモデリング

自動計算式とプロフェッショナルな書式設定で、複雑な財務モデルを作成

📈

セールス分析

販売データを分析し、ピボットテーブルとグラフでインタラクティブなダッシュボードを生成する

📋

在庫管理

自動在庫計算とアラート機能を備えたリアルタイムの在庫管理表を維持する

📑

レポート自動化

生データを、一貫したレイアウトと数式を持つフォーマット済みレポートに変換します

関連スキル

すべてのスキルを表示
タグとカテゴリーに基づくおすすめ

エージェントファクトリー

Claude Codeエージェント生成システムは、実績のあるプロダクションパターンに従い、強化されたYAMLフロントマター、ツールアクセスパターン、およびMCP統合サポートを備えたカスタムエージェントとサブエージェントを作成するシステムです。

authenticationautomationbackend+9
377k
Development

アプトス・ムーブ・テスティング

Aptos上のMoveスマートコントラクトのテスト、ユニットテスト、統合テスト、Move Proverの形式検証、デバッグ戦略、テストカバレッジに関する専門家。move test、unit test、integration test、move prover、formal verification、debug、coverage、assert、expectというキーワードでトリガーされます。

ci-cddebuggingdocumentation+2
272k
Web3 & Blockchain

Aws CDK 開発

AWS Cloud Development Kit (CDK) の TypeScript/Python を使用したクラウドインフラストラクチャ構築の専門家。CDK スタックの作成、CDK コンストラクトの定義、インフラストラクチャ・アズ・コードの実装、またはユーザーが CDK、CloudFormation、IaC、cdk synth、cdk deploy を言及した場合、あるいは AWS インフラストラクチャをプログラムで定義したい場合に使用します。CDK アプリ構造、コンストラクトパターン、スタック構成、およびデプロイワークフローをカバーします。

apici-cddocumentation+6
446k
DevOps

アダプティブ

自動化タンパク質試験と検証のためのクラウドラボラトリープラットフォーム。タンパク質設計時、結合アッセイ、発現試験、熱安定性測定、酵素活性アッセイ、またはタンパク質配列最適化を含む実験的検証が必要な場合に使用。API経由で実験を提出し、実験ステータスを追跡し、結果をダウンロードし、計算ツール(NetSolP、SoluProt、SolubleMPNN、ESM)を使用して発現を改善するためにタンパク質配列を最適化し、またはウェットラボ検証を伴うタンパク質設計ワークフローを管理する場合にも使用。

authenticationdocumentationpython+1
225k
Development
すべてのスキルを表示