Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
SSH connection manager with MCP server for AI-assisted operations across servers.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
作者はレジストリにインストール情報を載せていません。下にある作者のREADMEをご覧ください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント danmartuszewski で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(1.1.0)がレジストリに届いたのは9 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Intervals MCP
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Remote MCP server for intervals.icu run data and analysis
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
hop
Stop typing long SSH commands. Just hop prod and you're in.
# Before: remembering and typing this every time
ssh -i ~/.ssh/work_key deploy@app-server-prod-03.us-east-1.example.com -p 2222
hop prod
hop prod # fuzzy match any server
hop exec production "uptime" # run command on all prod servers hop import # import your existing ~/.ssh/config hop # launch the TUI, manage everything
brew install danmartuszewski/tap/hop
go install github.com/danmartuszewski/hop/cmd/hop@latest
git clone https://github.com/danmartuszewski/hop.git && cd hop && make build
./bin/hop
Using Claude Code, Codex, Cursor, or another coding agent? Paste the block below into your agent and it will pick the right install path for your machine, register hop's MCP server, and verify the install.
Install hop on this machine and register its MCP server. Do the steps in order;
stop and report on the first failure.
Constraints:
hop — it launches an interactive TUI and will hang a non-interactive session. Use subcommands (hop version, hop list, …).hop import only.After step 3, restart the agent so it picks up the new MCP server.
hop prod to connect to app-server-prod-03~/.ssh/config? Import them in one commandSee all features in action: Demo recordings
Launch connections directly from Raycast. Fuzzy search, tags, environments - all at your fingertips.
Config file location: ~/.config/hop/config.yaml
version: 1
defaults: user: admin port: 22
connections:
groups: production: [prod-web, prod-db] web-servers: [prod-web, staging]
Security note:
forward_agent: trueexposes your SSH keys to anyone with root access on the remote server. Only enable this for servers you fully trust. Consider usingproxy_jumpinstead when you just need to reach internal hosts through a bastion.
Mosh (mobile shell) is useful for connections over unreliable networks — it handles roaming, intermittent connectivity, and high latency gracefully.
Global default — enable mosh for all connections:
defaults:
use_mosh: true
connections:
Per-connection — enable mosh for specific connections:
connections:
One-off — use the --mosh flag without changing config:
hop connect myserver --mosh
hop myserver --mosh
Per-connection use_mosh: false overrides the global default. SSH options (port, identity file, proxy jump, agent forwarding) are automatically passed to mosh via its --ssh flag. Mosh requires both the local mosh-client and mosh-server on the remote host.
Note:
hop execalways uses SSH regardless ofuse_mosh, since mosh is designed for interactive sessions.
Set remote_dir to have a connection drop you straight into a specific directory instead of $HOME:
connections:
On connect, hop runs cd into the directory and then hands you a normal interactive login shell, so the session behaves exactly like a regular SSH login — just somewhere else. A few details worth knowing:
~ and ~user are expanded by the remote shell.$HOME) rather than getting bounced off the host.hop open carries the landing directory into every terminal it launches.Note:
remote_diris ignored when you pass an explicit command (e.g.hop connect web -- uptimeorhop exec), since those aren't interactive sessions.
Launch with hop or hop dashboard.
When you connect to a server from the dashboard (by pressing Enter), the SSH session starts, and the dashboard automatically returns after the session ends. This lets you quickly hop between servers without restarting the TUI each time.
For one-shot connections that exit to your terminal, use:
hop <query> # fuzzy match and connect
hop connect # connect by exact ID
| Key | Action |
|---|---|
↑/k | Move up |
↓/j | Move down |
PgUp/PgDn | Move by page |
g | Go to top |
G | Go to bottom |
/ | Filter connections (supports multi-keyword AND search) |
t | Filter by tags |
r | Toggle sort by recent |
Enter | Connect to selected |
a | Add new connection |
i | Import from SSH config |
p | Paste SSH string (quick add) |
e | Edit selected |
c | Duplicate selected (opens a prefilled copy) |
d | Delete selected |
x | Export connections to YAML |
y | Copy SSH command |
T | Open theme picker |
? | Show help |
q | Quit |
Press / to filter connections by typing keywords. The filter supports multi-keyword AND logic - separate keywords with spaces to find connections matching all terms.
Examples:
prod - matches connections containing "prod"prod web - matches connections containing both "production" AND "web"kaf staging - matches connections with both "kafka" AND "staging"The filter searches across connection IDs, hosts, projects, environments, and tags.
Press p and paste any of these formats:
user@host.com
user@host.com:2222 ssh user@host.com -p 2222 ssh://user@host:port
The connection form opens with fields pre-filled.
Press c on any connection to create a copy. The add form opens with every field pre-filled from the original — including options that aren't shown in the form, like proxy jump and mosh — and a collision-free ID suggestion (e.g. web-prod → web-prod-copy). Adjust whatever you need and save. If you pick an ID that already exists, the form stays open with your edits intact so you can fix it.
Import existing connections from your ~/.ssh/config file:
From the dashboard: Press i to open the import modal, select which connections to import, and press Enter.
From the CLI:
hop import # Import from ~/.ssh/config
hop import --dry-run # Preview what would be imported hop import --file ~/.ssh/config.d/work # Import from custom path
What gets imported:
What gets skipped:
Host *, Host *.example.com)Conflict handling: If a connection ID already exists, the imported connection is renamed with -imported suffix (e.g., myserver → myserver-imported).
Export a subset of connections to a YAML file for sharing, backup, or transferring to another machine.
From the dashboard: Press x to open the export modal. Only currently filtered connections are shown — apply text or tag filters first to narrow the selection. Toggle items with Space, then press Enter to save.
From the CLI:
hop export --all # Export all to stdout
hop export --all -o backup.yaml # Export all to a file hop export --project myapp -o myapp.yaml # Export by project hop export --tag database # Export by tag hop export --env production # Export by environment hop export --id web-1,web-2 # Export specific connections
At least one filter flag or --all is required. Filters combine with AND logic.
The dashboard ships with sixteen color presets — each popular theme has both a dark and a light variant, listed separately so you can pick whichever you want regardless of your terminal background. Press T to browse them with live preview: ↑/↓ to navigate, Enter to save the choice into your config, Esc to revert.
| Family | Dark | Light |
|---|
| Built-in hop | default-dark | `defa
冒頭だけを表示しています。続きはリポジトリで読めます