MCP HubMCP Hub
SKILL·208B7C

afferent-reactive-universe-levels

majiayu000
更新日 2 months ago
41 閲覧
58
9
58
GitHubで表示
その他reactai

について

このスキルは、Afferent/Canopyウィジェット向けに`Reactive.Event`または`Reactive.Dynamic`型を使用して構造体を定義する際に発生する、Lean 4のユニバースレベル不一致エラーを修正します。特定のコンパイラエラーが発生した場合、または`WidgetM`が結果の構造体を拒否した場合に使用してください。解決策は、構造体定義の前に`open Reactive Reactive.Host`を配置することです。

クイックインストール

Claude Code

推奨
メイン
npx skills add majiayu000/claude-skill-registry -a claude-code
プラグインコマンド代替
/plugin add https://github.com/majiayu000/claude-skill-registry
Git クローン代替
git clone https://github.com/majiayu000/claude-skill-registry.git ~/.claude/skills/afferent-reactive-universe-levels

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

GitHub リポジトリ

majiayu000/claude-skill-registry
パス: skills/data/afferent-reactive-universe-levels
0
FAQ

Frequently asked questions

What is the afferent-reactive-universe-levels skill?

afferent-reactive-universe-levels is a Claude Skill by majiayu000. Skills package instructions and resources that Claude loads on demand, so Claude can perform afferent-reactive-universe-levels-related tasks without extra prompting.

How do I install afferent-reactive-universe-levels?

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

afferent-reactive-universe-levels is in the Other category, tagged react and ai.

Is afferent-reactive-universe-levels free to use?

Yes. afferent-reactive-universe-levels 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ビットオプティマイザーを可能にします。

スキルを見る