Setup: GitHub Codespace

This is the easiest way to get started with Drasi Server. Run everything in the cloud with GitHub Codespaces. No local installation required — just a browser and a GitHub account.

Prerequisites

• A GitHub account (free tier works fine)
• A web browser

That’s it! Docker, Rust, and all dependencies are pre-installed in the Codespace.

Step 1: Launch the Codespace

Click the button below to create a new Codespace:

When prompted to select a Dev Container Configuration, choose Drasi Server - Getting Started Tutorial.

Or manually:

1. Go to github.com/drasi-project/drasi-server
2. Click the green Code button
3. Select the Codespaces tab
4. Click the … menu and select New with options…
5. Under Dev container configuration, select Drasi Server - Getting Started Tutorial
6. Click Create codespace

Step 2: Wait for Setup

The Codespace takes a few minutes to initialize. During this time the setup script will:

1. Download Drasi Server and put the executable in the ./bin/drasi-server folder.
2. Install a PostgreSQL client for use during the tutorial.
3. Install curl, which is used in later tutorial steps.

Watch the terminal for: ✅ Drasi Server Getting Started tutorial environment is ready!

This indicates the container is ready to use.

Tip: The first build takes several minutes. Subsequent Codespace sessions are faster if you don’t delete the Codespace.

Step 3: Verify the Setup

Verify that Drasi Server is accessible:

./bin/drasi-server --version

You should see output showing the version number. The exact version depends on which release of Drasi Server you have installed, so the number below is only an example. The latest release is always available from the Drasi Server releases page.

drasi-server 0.2.1
rustc: rustc 1.88.0 (6b00bc388 2025-06-23)
plugin-sdk: 0.9.1

✅ Setup Complete

You now have Drasi Server accessible at ./bin/drasi-server from the repository root.

Continue with the Tutorial

Codespace Tips

Port Forwarding

The Codespace automatically forwards ports. Check the Ports tab to access:

• Port 8180 (Drasi Server API)
• Port 8181 (SSE stream)
• Port 5532 (PostgreSQL)

If you can’t connect, right-click the port and select Port Visibility → Public.

Stop the Codespace

To save your free hours:

1. Click Codespaces in the bottom-left corner
2. Select Stop Current Codespace

Or manage all Codespaces at github.com/codespaces.

Delete When Done

To free storage quota, delete the Codespace from github.com/codespaces.