提供元
Qoder
- Qoderは、ソフトウェアプロジェクトの計画、コーディング、テストを自動化するAI駆動のコーディングアシスタントです。
Qoder
- Qoderは、ソフトウェアプロジェクトの計画、コーディング、テストを自動化するAI駆動のコーディングアシスタントです。
AIツール
AIエージェント
MCP
AIニュース
ランキング
提出と広告
ログイン
JA
JA
ホーム
MCP
Model Context Protocol (MCP) Server Configuration
Model Context Protocol (MCP) Server Configuration
0
Visit MCP
0 レビュー
7 Stars
このMCPサーバーの設定は、Nixフレークを使用してAIアシスタンスプラットフォームの宣言的構成を可能にし、ClaudeやCursorなどのクライアントをサポートし、クロスプラットフォームの互換性を提供します。
追加日:
作成者:
Mar 15 2025
🅰🅸
開発者ツール
クラウドプラットフォーム
AIチャットボット
#nix
#人工知能
#MCP
#darwin
#人工知能
#nixpkgs
#nix-darwin
#nix-flake
#mcp-server
...
Model Context Protocol (MCP) Server Configuration
0 レビュー
7
0
このMCPサーバーの設定は、Nixフレークを使用してAIアシスタンスプラットフォームの宣言的構成を可能にし、ClaudeやCursorなどのクライアントをサポートし、クロスプラットフォームの互換性を提供します。
追加日:
Created by:
Mar 15 2025
🅰🅸
開発者ツール
クラウドプラットフォーム
AIチャットボット
#nix
#人工知能
#MCP
#darwin
#人工知能
#nixpkgs
#nix-darwin
#nix-flake
#mcp-server
...
概要
機能とアプリケーション
FAQs
開発者
フィーチャー
PoYo API
PoYo.ai は開発者向けに構築された、画像・動画・音楽・チャット生成のための統合 AI API プラットフォームです。
Rebelgrowth
検索トラフィックと権威を手間なく成長させる自動化AI搭載のSEOソフトウェア。
Telegram Group Bot
TGDesk は、リード獲得、エンゲージメント向上、コミュニティの成長を支援するオールインワンの Telegram グループボットです。
AirMusic
AirMusic.aiは、テキストプロンプトからスタイルやムードのカスタマイズ、ステム(分離トラック)出力をサポートする高品質なAI音楽トラックを生成します。
Flowith
Flowithは、無料の🍌Nano Banana Proやその他の効果的なモデルを提供するキャンバスベースのエージェント型ワークスペースです...
Funy AI
想像をアニメに!画像やテキストからAIでビキニやキスの動画を生成。AI着せ替え機能も搭載。登録不要、完全無料!
Pippit
Pippitの強力なAIツールでコンテンツ作成を向上させましょう!
TextToHuman
AIテキストを瞬時に自然で人間らしい文体に書き直す無料のAI人間化ツール。サインアップ不要。
Vertech Academy
Vertechは、学生と教師が効果的に学び、教えるために設計されたAIプロンプトを提供します。
APIMart
APIMart は GPT-5 や Claude 4.5 を含む500以上の AI モデルへの統一アクセスを提供し、コスト削減を実現します。
Van Gogh Free Video Generator
AI を活用した無料の動画ジェネレーターで、テキストや画像から手軽に美しい動画を作成できます。
SharkFoto
SharkFoto は、動画、画像、音楽を効率的に作成・編集するためのオールインワンの AI 搭載プラットフォームです。
Elser AI
テキストと画像をアニメ風アート、キャラクター、音声、短編映画に変換するオールインワンのウェブスタジオ。
Remy - Newsletter Summarizer
Remyはメールを短くて分かりやすい洞察にまとめることでニュースレター管理を自動化します。
Nana Banana: Advanced AI Image Editor
AI搭載の画像編集ツールで、写真やテキストプロンプトを高品質で一貫性のある商用対応の画像に変換します。クリエイターやブランド向け。
Skywork.ai
Skywork AIは、生産性を向上させるための革新的なAIツールです。
Refly.ai
Refly.AI は、非技術系のクリエイターが自然言語と視覚的キャンバスを使ってワークフローを自動化できるようにするプラットフォームです。
SOLM8
呼びかけて会話するAI彼女。記憶を持つリアルな音声会話。彼女といるとどの瞬間も特別に感じる。
codeflying
CodeFlying – バイブコーディングアプリビルダー | AIとチャットしてフルスタックアプリを作成
AI FIRST
自然言語を通じてリサーチ、ブラウザ作業、ウェブスクレイピング、ファイル管理を自動化する会話型AIアシスタント。
ThumbnailCreator.com
AI搭載のツールで、美しくプロフェッショナルなYouTubeサムネイルを素早く簡単に作成できます。
FineVoice
文字を感情に変える — 数秒で表現力豊かなAIボイスをクローン、デザイン、作成しよう。
NanoPic
NanoPic は AI による高速で高品質な会話型画像編集を提供し、2K/4K 出力に対応します。
Kling 3.0
Kling 3.0 は、ネイティブ音声、高度なモーションコントロール、Canvas Agent を備えた AI 搭載の 4K ビデオジェネレーターです。
RSW Sora 2 AI Studio
AI 搭載ツールで Sora のウォーターマークを瞬時に除去し、品質を損なわず高速にダウンロードできます。
SuperMaker AI Video Generator
SuperMakerを使って、驚くべき動画、音楽、画像を簡単に作成できます。
Qoder
Qoderは、ソフトウェアプロジェクトの計画、コーディング、テストを自動化するAI駆動のコーディングアシスタントです。
BGRemover
SharkFoto BGRemoverでオンラインで簡単に画像の背景を削除できます。
WhatsApp Warmup Tool
AI 搭載の WhatsApp ウォームアップツールは、大量メッセージ送信を自動化しつつアカウント停止を防ぎます。
Explee
即座にICPの単一行説明でアウトリーチを開始する
ai song creator
最大8分、商用ライセンス付きのフルレングスでロイヤリティフリーなAI生成音楽を作成します。
remio - Personal AI Assistant
remioはAI搭載のパーソナルナレッジハブで、あなたのすべてのデジタル情報を自動的にキャプチャして整理します。
Qwen-Image-2512 AI
Qwen-Image-2512 は、高速で高解像度の AI 画像生成器であり、中国語テキストをネイティブにサポートします。
Img2.AI
写真をスタイライズされた画像や短いアニメーション動画に高速かつ高品質で変換し、ワンクリックでのアップスケーリングを提供するAIプラットフォーム。
Edensign
Edensignは、不動産写真を迅速かつリアルに変換するAI駆動のバーチャルステージングプラットフォームです。
Seedance-2
Seedance 2.0 は、現実的なリップシンクとサウンドエフェクトを備えた、無料のAI搭載テキスト→動画・画像→動画生成ツールです。
AnimeShorts
最先端のAI技術を使用して、魅力的なアニメ短編を簡単に作成できます。
LTX-2 AI
オープンソースのLTX-2は、テキストや画像プロンプトからネイティブな音声同期付きの4K動画を高速に生成し、本番対応可能です。
Yollo AI
AIパートナーとチャット&創作。画像から動画作成、AI画像生成機能も搭載。
GenPPT.AI
AI駆動のPPT作成ツール。数分でスピーカーノートとグラフ付きのプロフェッショナルなPowerPointプレゼンテーションを作成、整形、エクスポートします。
FalcoCut
FalcoCut:動画翻訳、アバタービデオ、音声クローン、フェイススワップ、短尺動画生成のためのウェブベースAIプラットフォーム。
Seedance 2 AI
画像、映像、音声、テキストを組み合わせて映画風の短編を生成するマルチモーダルAIビデオジェネレーター。
Gobii
Gobii はチームが 24 時間 365 日稼働する自律型デジタルワーカーを作成し、ウェブ調査やルーティンタスクを自動化できるようにします。
VoxDeck
視覚革命をリードするAIプレゼンテーションメーカー
Ampere.SH
無料の管理された OpenClaw ホスティング。$500 の Claude クレジットで 60 秒で AI エージェントをデプロイできます。
Lease A Brain
AI搭載の専門家による仮想チームが、多様なビジネス業務を支援します。
Create WhatsApp Link
分析機能、ブランドリンク、ルーティング、マルチエージェントチャット機能を備えた無料のWhatsAppリンク&QRジェネレーター。
HookTide
あなたの声を学習してコンテンツ作成・エンゲージメント・パフォーマンス分析を行うAI搭載のLinkedIn成長プラットフォームです。
GLM Image
GLM Image は自己回帰モデルと拡散モデルを組み合わせたハイブリッド方式で、高忠実度のAI画像を生成し、優れたテキストレンダリングを実現します。
Manga Translator AI
AI Manga Translatorは漫画画像をオンラインで瞬時に複数の言語に翻訳します。
FixArt AI
FixArt AI はサインアップ不要で、無料かつ制限なしの画像・動画生成用AIツールを提供します。
Refly.ai
Refly.AI は、非技術系のクリエイターが自然言語と視覚的キャンバスを使ってワークフローを自動化できるようにするプラットフォームです。
Flowith
Flowithは、無料の🍌Nano Banana Proやその他の効果的なモデルを提供するキャンバスベースのエージェント型ワークスペースです...
BGRemover
SharkFoto BGRemoverでオンラインで簡単に画像の背景を削除できます。
Qoder
Qoderは、ソフトウェアプロジェクトの計画、コーディング、テストを自動化するAI駆動のコーディングアシスタントです。
Elser AI
テキストと画像をアニメ風アート、キャラクター、音声、短編映画に変換するオールインワンのウェブスタジオ。
FineVoice
文字を感情に変える — 数秒で表現力豊かなAIボイスをクローン、デザイン、作成しよう。
FixArt AI
FixArt AI はサインアップ不要で、無料かつ制限なしの画像・動画生成用AIツールを提供します。
Skywork.ai
Skywork AIは、生産性を向上させるための革新的なAIツールです。
VoxDeck
視覚革命をリードするAIプレゼンテーションメーカー
Yollo AI
AIパートナーとチャット&創作。画像から動画作成、AI画像生成機能も搭載。
Funy AI
想像をアニメに!画像やテキストからAIでビキニやキスの動画を生成。AI着せ替え機能も搭載。登録不要、完全無料!
SharkFoto
SharkFoto は、動画、画像、音楽を効率的に作成・編集するためのオールインワンの AI 搭載プラットフォームです。
ThumbnailCreator.com
AI搭載のツールで、美しくプロフェッショナルなYouTubeサムネイルを素早く簡単に作成できます。
Pippit
Pippitの強力なAIツールでコンテンツ作成を向上させましょう!
SuperMaker AI Video Generator
SuperMakerを使って、驚くべき動画、音楽、画像を簡単に作成できます。
AnimeShorts
最先端のAI技術を使用して、魅力的なアニメ短編を簡単に作成できます。
Ampere.SH
無料の管理された OpenClaw ホスティング。$500 の Claude クレジットで 60 秒で AI エージェントをデプロイできます。
GenPPT.AI
AI駆動のPPT作成ツール。数分でスピーカーノートとグラフ付きのプロフェッショナルなPowerPointプレゼンテーションを作成、整形、エクスポートします。
HookTide
あなたの声を学習してコンテンツ作成・エンゲージメント・パフォーマンス分析を行うAI搭載のLinkedIn成長プラットフォームです。
Seedance-2
Seedance 2.0 は、現実的なリップシンクとサウンドエフェクトを備えた、無料のAI搭載テキスト→動画・画像→動画生成ツールです。
Gobii
Gobii はチームが 24 時間 365 日稼働する自律型デジタルワーカーを作成し、ウェブ調査やルーティンタスクを自動化できるようにします。
Create WhatsApp Link
分析機能、ブランドリンク、ルーティング、マルチエージェントチャット機能を備えた無料のWhatsAppリンク&QRジェネレーター。
Seedance 2 AI
画像、映像、音声、テキストを組み合わせて映画風の短編を生成するマルチモーダルAIビデオジェネレーター。
GLM Image
GLM Image は自己回帰モデルと拡散モデルを組み合わせたハイブリッド方式で、高忠実度のAI画像を生成し、優れたテキストレンダリングを実現します。
AI FIRST
自然言語を通じてリサーチ、ブラウザ作業、ウェブスクレイピング、ファイル管理を自動化する会話型AIアシスタント。
AirMusic
AirMusic.aiは、テキストプロンプトからスタイルやムードのカスタマイズ、ステム(分離トラック)出力をサポートする高品質なAI音楽トラックを生成します。
TextToHuman
AIテキストを瞬時に自然で人間らしい文体に書き直す無料のAI人間化ツール。サインアップ不要。
Manga Translator AI
AI Manga Translatorは漫画画像をオンラインで瞬時に複数の言語に翻訳します。
Van Gogh Free Video Generator
AI を活用した無料の動画ジェネレーターで、テキストや画像から手軽に美しい動画を作成できます。
WhatsApp Warmup Tool
AI 搭載の WhatsApp ウォームアップツールは、大量メッセージ送信を自動化しつつアカウント停止を防ぎます。
Img2.AI
写真をスタイライズされた画像や短いアニメーション動画に高速かつ高品質で変換し、ワンクリックでのアップスケーリングを提供するAIプラットフォーム。
LTX-2 AI
オープンソースのLTX-2は、テキストや画像プロンプトからネイティブな音声同期付きの4K動画を高速に生成し、本番対応可能です。
Nana Banana: Advanced AI Image Editor
AI搭載の画像編集ツールで、写真やテキストプロンプトを高品質で一貫性のある商用対応の画像に変換します。クリエイターやブランド向け。
Kling 3.0
Kling 3.0 は、ネイティブ音声、高度なモーションコントロール、Canvas Agent を備えた AI 搭載の 4K ビデオジェネレーターです。
FalcoCut
FalcoCut:動画翻訳、アバタービデオ、音声クローン、フェイススワップ、短尺動画生成のためのウェブベースAIプラットフォーム。
SOLM8
呼びかけて会話するAI彼女。記憶を持つリアルな音声会話。彼女といるとどの瞬間も特別に感じる。
Remy - Newsletter Summarizer
Remyはメールを短くて分かりやすい洞察にまとめることでニュースレター管理を自動化します。
ai song creator
最大8分、商用ライセンス付きのフルレングスでロイヤリティフリーなAI生成音楽を作成します。
Telegram Group Bot
TGDesk は、リード獲得、エンゲージメント向上、コミュニティの成長を支援するオールインワンの Telegram グループボットです。
Qwen-Image-2512 AI
Qwen-Image-2512 は、高速で高解像度の AI 画像生成器であり、中国語テキストをネイティブにサポートします。
Vertech Academy
Vertechは、学生と教師が効果的に学び、教えるために設計されたAIプロンプトを提供します。
APIMart
APIMart は GPT-5 や Claude 4.5 を含む500以上の AI モデルへの統一アクセスを提供し、コスト削減を実現します。
RSW Sora 2 AI Studio
AI 搭載ツールで Sora のウォーターマークを瞬時に除去し、品質を損なわず高速にダウンロードできます。
Explee
即座にICPの単一行説明でアウトリーチを開始する
Lease A Brain
AI搭載の専門家による仮想チームが、多様なビジネス業務を支援します。
Rebelgrowth
検索トラフィックと権威を手間なく成長させる自動化AI搭載のSEOソフトウェア。
Edensign
Edensignは、不動産写真を迅速かつリアルに変換するAI駆動のバーチャルステージングプラットフォームです。
remio - Personal AI Assistant
remioはAI搭載のパーソナルナレッジハブで、あなたのすべてのデジタル情報を自動的にキャプチャして整理します。
PoYo API
PoYo.ai は開発者向けに構築された、画像・動画・音楽・チャット生成のための統合 AI API プラットフォームです。
codeflying
CodeFlying – バイブコーディングアプリビルダー | AIとチャットしてフルスタックアプリを作成
NanoPic
NanoPic は AI による高速で高品質な会話型画像編集を提供し、2K/4K 出力に対応します。
Model Context Protocol (MCP) Server Configurationとは?
MCP(モデルコンテキストプロトコル)サーバーシステムは、Nixベースの宣言的設定を通じてClaudeやCursorなどのAIアシスタントクライアント環境を構成および管理することをユーザーに提供します。ファイルシステムやGitHubを含む複数のサーバータイプをサポートしており、AIモデルへのシームレスなアクセスと管理が可能です。この設定はNixOS、Darwin、Home Manager環境と統合され、クロスプラットフォームの互換性を確保します。ユーザーは、設定を簡単に生成、カスタマイズ、および検証でき、さまざまなシステムおよびクライアント間でのAIアプリケーションの設定と管理が簡素化されています。
誰がModel Context Protocol (MCP) Server Configurationを使うの?
AI開発者
システム管理者
NixOSおよびDarwinユーザー
AI研究チーム
AIアシスタンス環境を維持する開発者
Model Context Protocol (MCP) Server Configurationの使い方は?
ステップ1:MCPサーバーフレークをシステムまたはホーム設定に追加
ステップ2:目的のクライアント(Claude、Cursor)のためにMCPサービスを有効化
ステップ3:必要に応じて環境パスやトークンを設定
ステップ4:システム設定を再構築または切り替え
ステップ5:該当するアプリケーションディレクトリ内のJSON設定ファイルを検証
Model Context Protocol (MCP) Server Configurationの主な特長・利点
コア機能
宣言的なMCPサーバー設定
複数のクライアントのサポート(Claude、Cursor)
ファイルシステムおよびGitHubサーバータイプのサポート
NixOS、Darwin、およびHome Managerに対するクロスプラットフォームサポート
既存のNix構成との統合
利点
人間が読みやすい設定で複雑な設定を簡素化
複数のAIクライアントおよびサーバータイプをサポート
プラットフォーム間での一貫した環境設定を保証
AIアシスタント環境のメンテナンスおよび更新を容易に
Model Context Protocol (MCP) Server Configurationの主な使用ケース・アプリケーション
開発チームのためのAIアシスタントクライアントの自動設定
GitHubまたはファイルシステムを介したモデルアクセスの管理
クロスプラットフォームAI環境の展開
AI研究環境設定の簡素化
Model Context Protocol (MCP) Server ConfigurationのFAQs
どのクライアントがサポートされていますか?
このMCPサーバー設定は何に使用されますか?
macOSとLinuxでこれを使用できますか?
どのようなサーバータイプがサポートされますか?
構成をどのように確認しますか?
この設定は企業環境に適していますか?
事前にNixの経験が必要ですか?
パスやトークンをカスタマイズできますか?
MCPサーバー設定の更新は自動ですか?
ドキュメントはどこで見つけられますか?
開発者
aloshy-ai
aloshy.ai
https://orcid.org/0009-0001-2679-4916
@aloshy_ai
あなたも好きかもしれません:
開発者ツール
MCP Desktop App
サーバーとクライアントの相互作用を管理するためのデスクトップアプリケーションで、包括的な機能を備えています。
開発者ツール
OS自動化
Eagle MCP Server
Eagle アプリとデータソース間のデータ交換を管理するための Model Context Protocol サーバーです。
開発者ツール
研究とデータ
Generic MCP Client Chat
チャット環境内でさまざまなMCPツールを統合して直接使用するためのチャットベースのクライアントで、生産性を向上させます。
開発者ツール
研究とデータ
Collection of MCP servers with integrated supergateway
複数の MCP サーバーをホストする Docker イメージで、Supergateway 統合を通じて統一されたエントリーポイントからアクセス可能です。
開発者ツール
研究とデータ
YNAB Server
MCPプロトコルを介してYNABアカウントの残高、取引、および取引の作成にアクセスします。
開発者ツール
クラウドプラットフォーム
Zerodha-MCP
リアルタイムのマルチクライアントZerodhaトレーディング操作を管理するための、高速でスケーラブルなMCPサーバー。
開発者ツール
クラウドプラットフォーム
Machine-To-Machine MCP Server SSH Client
MCPサーバーへのリモートツール利用のための安全なプロキシベースのアクセスを容易にするリモートSSHクライアント。
開発者ツール
OS自動化
Spring MCP Server
AI機能を統合したSpringベースのMCPサーバーで、Minecraftのmod間の通信プロトコルを管理および処理します。
開発者ツール
研究とデータ
Scira MCP Chat
必須のチャット機能を備えたミニマリスティックなMCPクライアントで、複数のモデルとコンテキスト相互作用をサポートします。
開発者ツール
研究とデータ
Authenticator MCP Server
AIエージェントがAuthenticatorアプリと安全に対話し、2FAコードとパスワードを取得できるMCPサーバー。
開発者ツール
セキュリティ
クラウドプラットフォーム
CF-MCP-Client
AIサービス、MCP、memGPTと統合したCloud Foundry用のSpringベースのチャットボットです。
開発者ツール
クラウドプラットフォーム
Supabase MCP Client React App with Tambo
MCPツールとUIコンポーネント登録のためのTamboを通じてSupabaseとの統合を示すReactアプリケーション。
開発者ツール
研究とデータ
AWS Service MCP Generator
boto3を使用してAWSサービスのMCPサーバー作成を自動化し、開発のためのサーバー設定を簡素化します。
開発者ツール
クラウドプラットフォーム
Azure Container Apps - AI & MCP Playground
Azure OpenAIとのMCPプロトコル統合を示すデモプロジェクトで、シームレスなAIアプリケーションの相互作用を提供します。
開発者ツール
研究とデータ
AWS Bedrock MCP Lambda
AWS LambdaにホストされたサーバーレスMCPで、API Gatewayを介してAIモデル処理のためにAWS Bedrockと対話します。
開発者ツール
クラウドプラットフォーム
Model Context Protocol (MCP) Server for Etherscan
EtherscanのAPIと連携してブロックチェーンデータを取得するための動的なMCPサーバー。
開発者ツール
研究とデータ
mcp_server_client
AIサービスとストレージシステム間の通信とデータ交換を促進するサーバークライアントMCPです。
開発者ツール
研究とデータ
Spring Link
Spring Link は、統一された環境内で複数の Spring Boot アプリケーションを効率的にリンクおよび管理することを促進します。
開発者ツール
研究とデータ
SharePoint Online MCP Server
REST APIを介してSharePoint Onlineとのインタラクションを可能にし、サイト、リスト、ユーザー管理機能をサポートします。
開発者ツール
クラウドプラットフォーム
MCP Containers
効率的なマイクロサービスのデプロイと管理のための包括的なコンテナスイートです。
開発者ツール
クラウドプラットフォーム
AIチャットボット
CRIC物AgenceAI MCP Server
モデルコンテキストプロトコルをサポートするサーバー実装で、CRICの産業AI機能を統合しています。
研究とデータ
知識と記憶
Production-ready Model Context Protocol (MCP) servers
VS CodeでのAIツール統合のために、Python、Go、RustでのMCPサーバーを提供します。
開発者ツール
研究とデータ
Model Context Protocol (MCP) Server
エージェント間のシームレスな通信と調整を可能にする複数のエージェントフレームワークをサポートするMCPサーバーを実装します。
開発者ツール
研究とデータ
MCP Claude Hacker News
Claude DesktopがMCPプロトコルを介してHacker Newsと対話し、ニュース、コメント、ユーザーデータを取得できるようにします。
開発者ツール
研究とデータ
MCP Quantum Server
API、AI、オートメーションを統合し、サーバーとクライアントの機能を動的に強化します。
開発者ツール
AIチャットボット
Memory MCP Server
MCP基準を通じて文脈情報を保存および取得することにより、LLMのための長期記憶を提供します。
開発者ツール
知識と記憶
NexonCo MCP
柔軟な検索オプションを備えた精密医療と腫瘍学研究をサポートする先進的な臨床証拠分析サーバー。
研究とデータ
AIチャットボット
Agent2Agent (A2A)
エージェント間の効果的な通信とコラボレーションのために、A2Aエージェント、ツール、サーバー、クライアントを収集するプラットフォームです。
開発者ツール
研究とデータ
MCP Server for macOS Use
OSレベルのツールを使用してmacOSを制御するAIエージェント、MCPと互換性があり、AIを介してシステム管理を容易にします。
開発者ツール
OS自動化
Model Context Protocol Client
SSE、StdIO、または外部プロセスを介してMCPサーバーと対話するためのPHPクライアントライブラリです。
開発者ツール
モニタリング