Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
SSH connection manager with MCP server for AI-assisted operations across servers.
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
El creador no incluyó detalles de instalación en el registro. Consulta el README del creador más abajo.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 7 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub danmartuszewski, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (1.1.0) llegó al registro hace 9 meses.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, Zendesk
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
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.
Zendesk MCP Pack — tickets, users, organizations via OAuth.
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
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
Solo se muestra el principio; lee el resto en el repo