Discord

Discord is a workspace connection. It uses the CORA bot, a server paired with your workspace, and a link between each person's Discord identity and their CORA account.

What CORA can read

• Mentions: when you mention @CORA in a channel, she can use up to 24 recent human messages from that channel as context. The request runs as your linked CORA user, and she replies in that channel. There is no ambient channel reading and no direct messages.

Connect

1. An owner or admin opens Settings -> Connections, selects Discord, and chooses Connect to CORA or Add CORA to Discord. Discord's invite opens in a new tab.
2. Back on the connector page, the owner or admin chooses Generate server code under Server pairing, then runs /cora-link with that code in Discord, with server manager permissions.
3. Each person chooses Generate user code under My Discord user and runs /cora-user-link with it in Discord. Link your identity before mentioning CORA.

Pairing codes expire, and the page shows when. If the bot is already in your server, open the pairing steps from the link beside the add button instead of inviting it again.

Disconnect

Owners and admins choose Disconnect on the connector page. CORA stops treating that Discord server as part of your workspace.