MCP HubMCP Hub
SKILL·E4E7D4

paperproof-validator

plurigrid
更新日 1 month ago
12 閲覧
7
3
7
GitHubで表示
デザインdesign

について

Paperproof-validatorは、Lean 4の形式的証明を直感的で紙面のような視覚化に変換し、証明の構造と仮説の推移を理解しやすくします。抽象的なコードと人間の理解の間の隔たりを埋め、伝統的な数学表記を反映した形で証明を表示します。このスキルを使用して、Lean 4の定理証明の各ステップを視覚的に検証し、伝達することができます。

クイックインストール

Claude Code

推奨
メイン
npx skills add plurigrid/asi -a claude-code
プラグインコマンド代替
/plugin add https://github.com/plurigrid/asi
Git クローン代替
git clone https://github.com/plurigrid/asi.git ~/.claude/skills/paperproof-validator

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

GitHub リポジトリ

plurigrid/asi
パス: skills/paperproof-validator
0
FAQ

Frequently asked questions

What is the paperproof-validator skill?

paperproof-validator is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform paperproof-validator-related tasks without extra prompting.

How do I install paperproof-validator?

Use the install commands on this page: add paperproof-validator 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 paperproof-validator belong to?

paperproof-validator is in the Design category, tagged design.

Is paperproof-validator free to use?

Yes. paperproof-validator is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

関連スキル

executing-plans
デザイン

executing-plansスキルは、完全な実装計画があり、それを管理されたバッチでレビューチェックポイントを設けながら実行する場合に使用します。このスキルは計画を読み込んで批判的にレビューした後、小さなバッチ(デフォルトは3タスク)でタスクを実行し、各バッチの間に進捗状況を報告してアーキテクトのレビューを受けます。これにより、品質管理チェックポイントが組み込まれた体系的な実装が保証されます。

スキルを見る
requesting-code-review
デザイン

このスキルは、コードレビュアーサブエージェントを起動し、処理を進める前に要件に対してコード変更を分析します。タスク完了後、主要な機能の実装後、またはmainブランチへのマージ前などに使用すべきです。このレビューは、現在の実装と元の計画を比較することで、問題を早期に発見するのに役立ちます。

スキルを見る
connect-mcp-server
デザイン

このスキルは、開発者がHTTP、stdio、またはSSEトランスポートを使用してMCPサーバーをClaude Codeに接続するための包括的なガイドを提供します。GitHub、Notion、カスタムAPIなどの外部サービスを統合するためのインストール、設定、認証、セキュリティについて解説しています。MCP統合のセットアップ、外部ツールの設定、またはClaudeのModel Context Protocolを扱う際にご利用ください。

スキルを見る
web-cli-teleport
デザイン

このスキルは、タスク分析に基づいて開発者がClaude Code WebとCLIインターフェースの選択を支援し、これらの環境間でのシームレスなセッションテレポーテーションを可能にします。Web、CLI、モバイル環境を切り替える際のセッション状態とコンテキストを管理することで、ワークフローを最適化します。様々な段階で異なるツールを必要とする複雑なプロジェクトにご活用ください。

スキルを見る