Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
An MCP server that provides tools for interacting with Deep State Representation (DSR) graphs.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
作者はレジストリにインストール情報を載せていません。下にある作者のREADMEをご覧ください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月9日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント grupo-avispa で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(1.0.1)がレジストリに届いたのは14 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, bot2bot
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:↓ 週あたりのダウンロードi★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
An MCP (Model Context Protocol) server that provides a comprehensive set of tools to query, manipulate, and analyze Deep State Representation (DSR) graphs. This server enables AI assistants to interact with robot perception and scene understanding data through standardized MCP tools with real-time graph operations and intelligent node relationship management.
| Tool Name | Description | Parameters |
|---|---|---|
| check_dsr_connection | Check DSR connection and return status information | — |
| get_all_nodes | Retrieve all nodes from the DSR graph | — |
| get_nodes_by_type | Filter nodes by their type (e.g., robot, person, room) | node_type: str |
| get_node_details | Get detailed information about a specific node including attributes and edges | node_identifier: str |
| get_all_edges | Retrieve all edges from the DSR graph | — |
| insert_node | Insert a new node into the DSR graph | name: str, node_type: str |
| insert_edge | Insert a new edge between two nodes in the DSR graph | origin_id: str, destination_id: str, edge_type: str |
| insert_edge_attribute | Insert or update an attribute for an edge in the DSR graph | origin_id: str, destination_id: str, attribute_name: str, attribute_value: str, attribute_type: str = 'string' |
| update_node | Update a node with new attributes in the DSR graph | node_id: str, attribute_name: str, attribute_value: str, attribute_type: str = 'string' |
| delete_node | Delete a node from the DSR graph | node_id: str |
| delete_edge | Delete an edge from the DSR graph | origin_id: str, destination_id: str, edge_type: str |
| save_graph | Save the current state of the DSR graph to a JSON file | Interactive file path selection |
Resources provide read-only, efficient access to DSR graph data. They are ideal for querying information without modifying the graph state.
| Resource URI | Description | Returns |
|---|---|---|
| dsr://nodes | All nodes in the DSR graph with basic information | JSON with nodes array, count, and DSR name |
| dsr://nodes/type/{type} | Nodes filtered by type with full details (attributes, edges) | JSON with detailed nodes array, count, and type |
| dsr://nodes/{node_id} | Detailed information about a specific node | JSON with node details, attributes, and connected edges |
| dsr://edges | All edges in the DSR graph | JSON with edges array, count, and DSR name |
| Variable | Default | Description |
|---|---|---|
DSR_AGENT_ID | 42 | Unique agent identifier for DSR connection |
DSR_NAME | mcp_server | Target DSR graph name to connect to |
SERVER_HOST | 127.0.0.1 | Server host address |
SERVER_PORT | 3000 | Server port number |
Note: You must build Cortex inside the virtual environment to ensure compatibility.
cd dsr_mcp_server
source .venv/bin/activate cd ${CORTEX_DIR} && make -p build && cd build cmake .. && make -j$(nproc) && sudo make install
Clone the repository and install with uv:
git clone https://github.com/grupo-avispa/dsr_mcp_server.git
cd dsr_mcp_server uv sync
Or install directly from the repository:
uv add git+https://github.com/grupo-avispa/dsr_mcp_server.git
Install the package in mode:
git clone https://github.com/grupo-avispa/dsr_mcp_server.git
cd dsr_mcp_server python3 -m pip install .
Or install directly from the repository:
python3 -m pip install git+https://github.com/grupo-avispa/dsr_mcp_server.git
uv run dsr_mcp_server
python3 -m dsr_mcp_server
The server will start and attempt to initialize the DSR connection automatically using the configured parameters.
Add this configuration to your application's settings (mcp.json):
{
"dsr mcp server": { "type": "stdio", "command": "uv", "args": [ "run", "--directory", "/path/to/dsr_mcp_server", "dsr_mcp_server" ], "env": { "DSR_AGENT_ID": "42", "DSR_NAME": "your_dsr_graph_name" } } }
{
"dsr mcp server": { "type": "stdio", "command": "python3", "args": [ "-m", "dsr_mcp_server" ], "env": { "DSR_AGENT_ID": "42", "DSR_NAME": "your_dsr_graph_name" } } }
For HTTP transport integration:
{
"servers": { "dsr_mcp_server": { "type": "http", "url": "http://localhost:3000/mcp" } } }
For issues, questions, or contributions, please refer to the project's issue tracker or contact the development team.