MCP HubMCP Hub
SKILL·9F9BE4

typing-rule-generator

a5c-ai
更新日 1 month ago
19 閲覧
331
15
331
GitHubで表示
メタdesign

について

このClaudeスキルは、プログラミング言語の型システム設計において、推論規則表記による形式的な型付け規則を生成します。LaTeX形式の規則を作成し、導出木を構築し、Ott/LNGenなどの形式検証ツールへのエクスポートを行います。型システムの設計や文書化時に使用することで、学術出版品質の形式的仕様書を作成できます。

クイックインストール

Claude Code

推奨
メイン
npx skills add a5c-ai/babysitter -a claude-code
プラグインコマンド代替
/plugin add https://github.com/a5c-ai/babysitter
Git クローン代替
git clone https://github.com/a5c-ai/babysitter.git ~/.claude/skills/typing-rule-generator

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

GitHub リポジトリ

a5c-ai/babysitter
パス: plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/typing-rule-generator
0
agent-orchestrationagent-skillsagentic-aiagentic-workflowai-automationbabysitter
FAQ

Frequently asked questions

What is the typing-rule-generator skill?

typing-rule-generator is a Claude Skill by a5c-ai. Skills package instructions and resources that Claude loads on demand, so Claude can perform typing-rule-generator-related tasks without extra prompting.

How do I install typing-rule-generator?

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

typing-rule-generator is in the Meta category, tagged design.

Is typing-rule-generator free to use?

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

関連スキル

content-collections
メタ

このスキルは、Content Collections(Markdown/MDXファイルを型安全なデータコレクションに変換するTypeScriptファーストのツール)の本番環境でテストされた設定を提供します。Zodバリデーションによる型安全性を実現し、ブログ、ドキュメントサイト、コンテンツ重視のVite + Reactアプリケーション構築時にご利用ください。Viteプラグインの設定、MDXコンパイルから、デプロイ最適化、スキーマバリデーションまで、すべてを網羅しています。

スキルを見る
polymarket
メタ

このスキルは、開発者がPolymarket予測市場プラットフォームを活用したアプリケーション構築を可能にします。API統合による取引や市場データの取得に加え、WebSocketを介したリアルタイムデータストリーミングにより、ライブ取引や市場活動を監視できます。取引戦略の実装や、ライブ市場更新を処理するツールの作成にご利用ください。

スキルを見る
creating-opencode-plugins
メタ

このスキルは、開発者がコマンド、ファイル、LSP操作など25種類以上のイベントタイプにフックするOpenCodeプラグインを作成することを支援します。JavaScript/TypeScriptモジュール向けに、プラグイン構造、イベントAPI仕様、および実装パターンを提供します。カスタムイベント駆動ロジックでOpenCode AIアシスタントのライフサイクルをインターセプト、監視、または拡張する必要がある場合にご利用ください。

スキルを見る
sglang
メタ

SGLangは、高性能なLLMサービングフレームワークであり、RadixAttentionプレフィックスキャッシュを活用したJSON、正規表現、エージェントワークフロー向けの高速で構造化された生成を特長とします。特にプレフィックスが繰り返されるタスクにおいて、大幅に高速な推論を実現し、複雑な構造化出力やマルチターン対話に最適です。制約付きデコードが必要な場合や、広範なプレフィックス共有を伴うアプリケーションを構築する場合は、vLLMなどの代替案ではなくSGLangを選択してください。

スキルを見る