SuperAPI AI 工具集

using-exe-dev

部署与运维

查看项目

更新于 10-15 12:47

技能介绍

用途

本技能用于指导用户与 exe.dev 虚拟机进行交互。当用户提及 exe.dev、exe VMs、*.exe.xyz,或任务涉及 exe.dev 基础设施时,应使用本技能。

主要能力

exe.dev 提供具备持久化磁盘、即时 HTTPS 和内置认证的 Linux 虚拟机。所有管理操作均通过 SSH 完成。

每个虚拟机都会自动获得 https://<vm>.exe.xyz/ 地址,并带有自动 TLS 加密。

使用方式

快速参考

ssh exe.dev help             # 显示命令
ssh exe.dev help <command>   # 显示命令详情
ssh exe.dev new --json       # 创建虚拟机
ssh exe.dev ls --json        # 列出虚拟机
ssh exe.dev rm <vm>          # 删除虚拟机
ssh <vm>.exe.xyz             # 连接到虚拟机
scp file.txt <vm>.exe.xyz:~/ # 传输文件

两种 SSH 目标

  • ssh exe.dev <command>:exe.dev 大厅(lobby)。用于虚拟机生命周期、共享和配置的 REPL。不支持 scp、sftp 或任意 shell 命令。
  • ssh <vm>.exe.xyz:直接连接到虚拟机。完整的 SSH 功能:shell、scp、sftp、端口转发等全部支持。

在非交互式和沙箱环境中工作

编码代理经常在非交互式 shell 或沙箱中运行 SSH。常见问题及解决方法:

  • scp/sftp 失败:确保目标是 <vm>.exe.xyz 而不是 exe.dev。可使用基于 ssh 的变通方法。
  • 连接挂起:非交互式 SSH 可能在主机密钥提示时阻塞且无可见输出。首次连接新虚拟机时使用 -o StrictHostKeyChecking=accept-new。
  • SSH 配置:检查两个目标是否配置为使用正确的密钥:
Host exe.dev *.exe.xyz
  IdentitiesOnly yes
  IdentityFile ~/.ssh/id_ed25519

文档

  • 文档索引:https://exe.dev/docs.md
  • 全部文档单页(较大):https://exe.dev/docs/all.md

索引按渐进式发现组织:从索引开始,按需跟随链接。

适用场景

适用于需要创建、列出、删除 exe.dev 虚拟机,连接虚拟机执行命令或传输文件,以及在编码代理的非交互式或沙箱环境中处理 SSH 连接问题的场景。

限制

关于收费、价格、平台支持范围、性能指标等具体信息,资料中暂未提供。