Discord

The Discord extension exposes Universe over a chat interface. Operators run slash commands to see cluster status, list instances and configurations, start and stop instances, and pipe commands to a running instance’s stdin. Access can be limited to specific Discord roles, and console output can be mirrored into a channel.

Setup

1. Create a Discord bot

   In the Discord Developer Portal, create an application, add a bot, and copy its token. Under OAuth2, select the bot and applications.commands scopes and grant Send Messages, Embed Links, Use Application Commands, and Read Message History.

2. Write the config

   Create ./extensions/discord/config.json with your token and server details:

   {
   	"token": "YOUR_BOT_TOKEN_HERE",
   	"guildId": "123456789012345678",
   	"statusChannelId": "",
   	"logChannelId": "",
   	"embedColor": 5814783,
   	"allowedRoleIds": ["123456789012345678"],
   	"intents": ["MESSAGE_CONTENT", "GUILD_MESSAGES", "GUILD_MEMBERS"]
   }

3. Install and restart

   Place extension-discord.jar in ./extensions/ and restart Universe. The bot registers its slash commands on startup, scoped to guildId when set.

Configuration keys

Field	Type	Required	Purpose
token	string	Yes	Bot token from the Developer Portal.
guildId	string	No	Server ID used to scope command registration.
statusChannelId	string	No	Channel for status updates.
logChannelId	string	No	Channel that mirrors console output.
embedColor	integer	No	Embed color (default 5814783).
allowedRoleIds	array	No	Role IDs allowed to run commands.
intents	array	No	Gateway intents (defaults required for command handling).

Slash commands

Command	Parameters	Function
/status	none	Cluster overview: active instance count and configuration count.
/instances	none	List active instances with state, address, and runtime type.
/configurations	none	List all configurations.
/instance	id	Retrieve details for a specific instance.
/start	configuration	Start an instance from a named configuration.
/stop	id	Stop an instance by ID.
/execute	id, command	Send a command string to a running instance’s stdin.

Access control

allowedRoleIds restricts commands to the listed Discord roles. A user without an authorized role receives an error response. An empty array permits everyone. To find a role ID, enable Developer Mode in Discord, right-click the role, and choose Copy Role ID.