Server save ssh port

[chouzz]

Enable setting custom SSH ports for saved servers and include the used port in upload/download tool responses.

The HostStore.upsert() method previously hardcoded the SSH port to 22, preventing users from saving servers with custom SSH ports. This PR modifies upsert to accept and persist a port parameter, defaulting to 22 or preserving an existing port if not provided during an update. It also adds the port parameter to the save_server MCP tool and includes the active connection's port in upload_file and download_file responses for better transparency.

---

 

[cursor]

Cursor Agent can help with this pull request. Just @cursor in comments and I'll start working on changes in this branch.
_{Learn more about Cursor Agents}