About Remote Dev
Remote Dev is an MCP server published by mindie-agent in the Science category: sSH-backed remote development substrate: editor-semantics tools (read/write/edit/bash/glob/grep/ls/monitor/apply_patch), job registry, artifacts, hook guards and MCP server against explicit endpoints.
Recent commit activity is the strongest signal that reported issues will get attention.
Install
git clone https://github.com/mindie-agent/remote-devThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Ask AI
Ask AI about Remote Dev
Powered by Claude · Grounded in docs
Security checks
6 checks have not been run yet.