Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
SSH connection manager with MCP server for AI-assisted operations across servers.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
The maker has not listed install details in the registry. See the maker’s README below.
Runs on your computer; the tool list appears in your AI app after you install it.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
The registry name was verified with the GitHub account danmartuszewski, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
This one runs on your computer; there is no internet endpoint
Runs on your computer and uses local settings instead
Runs on your computer; we can only read tool lists from internet endpoints
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
The GitHub repo last changed –, and the latest version (1.1.0) reached the registry 9 months ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code.
In the same category: Spec Driven Development, Remote Desktop Commander, 御府和田玉 在售作品查询
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
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.
Live in-stock Hetian jade from Yufu, Shanghai: prices, monthly price guide, book a viewing.
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
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
Only the beginning is shown; read the rest in the repo