について
このスキルは、Lean4を用いた形式的定理証明を可能にし、研究、テスト、検証を自動的に処理する5段階の構造化されたワークフローを提供します。開発者はLeanの構文を学ぶことなく自然言語で数学的命題を証明でき、Mathlibの依存関係も自動的にダウンロードされます。厳密な形式的検証を伴う機械検証済み証明を必要とする数学者や開発者に最適なツールです。
クイックインストール
Claude Code
推奨npx skills add parcadei/Continuous-Claude-v3 -a claude-code/plugin add https://github.com/parcadei/Continuous-Claude-v3git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/proveこのコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします
GitHub リポジトリ
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.
関連スキル
このClaudeスキルは、lm-evaluation-harnessを実行し、MMLUやGSM8Kなど60以上の標準化学術タスクでLLMをベンチマークします。開発者がモデルの品質を比較し、トレーニングの進捗を追跡し、学術的な結果を報告するために設計されています。このツールはHuggingFaceやvLLMモデルを含む様々なバックエンドをサポートしています。
このスキルは、cron式を使用してWorkersをスケジュールするためのCloudflare Cron Triggersの実装に関する包括的な知識を提供します。定期的なタスクの設定、メンテナンスジョブ、自動化されたワークフローの構築を網羅し、無効なcron式やタイムゾーン問題といった一般的な課題への対処法も含みます。開発者はこれを使用して、スケジュールされたハンドラーの設定、cronトリガーのテスト、WorkflowsやGreen Computeとの連携を構成できます。
このClaude Skillは、Playwrightベースのツールキットを提供し、Pythonスクリプトを通じてローカルWebアプリケーションのテストを可能にします。フロントエンドの検証、UIデバッグ、スクリーンショット撮影、ログ表示を実現し、サーバーライフサイクルを管理します。ブラウザ自動化タスクにご利用いただけますが、コンテキストの汚染を避けるため、スクリプトのソースコードを読むのではなく直接実行してください。
このスキルは、開発者がテストの合格を確認し、構造化された統合オプションを提示することで、完成した作業を仕上げることを支援します。実装が完了した後のマージ、PR作成、ブランチの整理といったワークフローを案内します。コードが準備できてテスト済みの際に使用し、開発プロセスを体系的に完了させましょう。
