『ツール』MCPリソースを探す

順序的思考に基づいて、各ステップでツールを推奨することで、ユーザーを問題解決へ導きます。

OpenAPI仕様をMCPツールに変換し、シームレスなAIアシスタントAPIとのインタラクションを提供します。

AIシステムにおける自動定理証明と論理推論のためにProver9/Mace4を統合したサーバー。

TypeScript/JavaScript ソースコードから組み込まれたデータを抽出し、構造化された JSON ファイルに変換するツールです。