MCP HubMCP Hub
SKILL·1178CB

connectedness

carmandale
更新日 1 month ago
7 閲覧
2
2
GitHubで表示
その他general

について

このスキルは、位相空間における連結性の証明戦略を提供します。矛盾法、経路構成、ファン補題などの手法を含み、開発者が空間が連結であるか、経路連結であるか、または特定の構成要素を持つかを判断するのに役立ちます。主な特徴には、問題解決のための決定木、および検証のための`z3_solve.py`や`sympy_compute.py`などのツールとの統合が含まれます。

クイックインストール

Claude Code

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

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

GitHub リポジトリ

carmandale/agent-config
パス: skills/domain/math/math/topology/connectedness
0
FAQ

Frequently asked questions

What is the connectedness skill?

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

How do I install connectedness?

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

connectedness is in the Other category, tagged general.

Is connectedness free to use?

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

関連スキル

llamaguard
その他

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

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

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

スキルを見る
sports-betting-analyzer
その他

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

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

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

スキルを見る