MCP HubMCP Hub
SKILL·10AB69

categories-functors

scooter-lacroix
更新日 4 months ago
9 閲覧
0
GitHubで表示
その他general

について

このスキルは、関手を含む圏論の問題を解決するための体系的な戦略を提供し、圏の公理の検証や関手の性質の確認について具体的な指針を示します。結合律と合成保存の証明に役立つ実践的なLean 4コードスニペットを含んでいます。圏論的構造の実装やデバッグ時に使用し、数学的正確性を確保するためにご活用ください。

クイックインストール

Claude Code

推奨
メイン
npx skills add scooter-lacroix/Maestro -a claude-code
プラグインコマンド代替
/plugin add https://github.com/scooter-lacroix/Maestro
Git クローン代替
git clone https://github.com/scooter-lacroix/Maestro.git ~/.claude/skills/categories-functors

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

GitHub リポジトリ

scooter-lacroix/Maestro
パス: maestro/skills/math/math/category-theory/categories-functors
0
agent-orchestrationai-agentsai-agents-automationai-agents-frameworkcode-analysiscode-intelligence
FAQ

よくある質問

categories-functors Skillとは何ですか?

categories-functors はscooter-lacroix が作成した Claude Skillです。Skillは、Claudeが必要に応じて読み込む指示とリソースをまとめ、追加の指示なしで categories-functors に関連するタスクを実行できるようにします。

categories-functors をインストールするには?

このページのインストールコマンドを使用してください。categories-functors をプラグインとして Claude Code に追加するか、リポジトリを skills ディレクトリにクローンし、Claudeを再起動してSkillを読み込みます。

categories-functors はどのカテゴリに属しますか?

categories-functors は その他 カテゴリに属します。

categories-functors は無料で利用できますか?

はい。categories-functors は AIMCP に掲載されており、無料でインストールできます。

関連スキル

sports-betting-analyzer
その他

このClaudeスキルは、スポーツベッティング市場(スプレッド、オーバー/アンダー、プロップベットなど)を分析し、過去の傾向や状況統計を検証することでバリューベットを特定します。教育目的のための実践的な提案を構造化されたマークダウン形式で出力します。開発者はスポーツベッティング分析ツールとして本機能を活用できますが、娯楽および教育目的に限定されている点に留意してください。

スキルを見る
llamaguard
その他

LlamaGuardは、暴力やヘイトスピーチなど6つの安全性カテゴリーにおいて、LLMの入力と出力をモデレートするMetaの70-80億パラメータモデルです。94〜95%の精度を提供し、vLLM、Hugging Face、Amazon SageMakerを使用してデプロイ可能です。このスキルを使用して、AIアプリケーションにコンテンツフィルタリングと安全策を簡単に統合できます。

スキルを見る
cost-optimization
その他

このClaudeスキルは、リソースの適正サイジング、タグ付け戦略、支出分析を通じて、開発者がクラウドコストを最適化することを支援します。AWS、Azure、GCPにわたるクラウド支出の削減とコストガバナンスの実施のためのフレームワークを提供します。インフラコストの分析、リソースの適正サイジング、または予算制約への対応が必要な際にご利用ください。

スキルを見る
quantizing-models-bitsandbytes
その他

このスキルは、bitsandbytesを使用してLLMを8ビットまたは4ビット精度に量子化し、精度の低下を最小限に抑えつつ50〜75%のメモリ削減を実現します。限られたGPUメモリでより大規模なモデルを実行したり、推論を高速化するのに理想的で、INT8、NF4、FP4などのフォーマットをサポートしています。HuggingFace Transformersと統合され、QLoRAトレーニングや8ビットオプティマイザーを可能にします。

スキルを見る