MCP HubMCP Hub
SKILL·F27618

prove

parcadei
更新日 2 months ago
302 閲覧
3,101
217
3,101
GitHubで表示
テストtesting

について

このスキルは、Lean4を用いた形式的定理証明を可能にし、研究、テスト、検証を自動的に処理する5段階の構造化されたワークフローを提供します。開発者はLeanの構文を学ぶことなく自然言語で数学的命題を証明でき、Mathlibの依存関係も自動的にダウンロードされます。厳密な形式的検証を伴う機械検証済み証明を必要とする数学者や開発者に最適なツールです。

クイックインストール

Claude Code

推奨
メイン
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
プラグインコマンド代替
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git クローン代替
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/prove

このコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします

GitHub リポジトリ

parcadei/Continuous-Claude-v3
パス: .claude/skills/prove
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills
FAQ

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.

関連スキル

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作成、ブランチの整理といったワークフローを案内します。コードが準備できてテスト済みの際に使用し、開発プロセスを体系的に完了させましょう。

スキルを見る