{
  "lexicon": 1,
  "id": "computer.socialweb.vm.provision",
  "defs": {
    "main": {
      "type": "procedure",
      "description": "Rent a machine and keep it. Output: where it is reached, and the lease that releases it.",
      "input": {
        "encoding": "application/json",
        "schema": {
          "type": "object",
          "required": [],
          "properties": {
            "cpus": {
              "type": "integer"
            },
            "mem": {
              "type": "integer",
              "description": "GiB."
            },
            "disk": {
              "type": "integer",
              "description": "GiB."
            },
            "ssh_key": {
              "type": "string",
              "description": "The host's OpenSSH public key, for iroh."
            }
          }
        }
      },
      "output": {
        "encoding": "application/json",
        "schema": {
          "type": "object",
          "properties": {
            "mcp": {
              "type": "array",
              "items": {
                "type": "unknown",
                "description": "{name, server: {url}}"
              }
            },
            "receipt": {
              "type": "ref",
              "ref": "com.atproto.repo.strongRef"
            },
            "records": {
              "type": "array",
              "items": {
                "type": "unknown",
                "description": "A record the rent made: {uri, cid}."
              }
            }
          }
        }
      }
    }
  }
}