Bot commands

All sixteen. Type a slash in any channel on our Discord and the list comes up — Discord only shows you the ones your permissions allow, so the moderation and admin ones stay out of the way unless you're staff.

Anyone can use these

Four commands, no permissions needed.

/helpThe commands you can use
/pingHow fast the bot is answering
/rank [user]Your rank card, with level and XP — or somebody else's
/leaderboard [type] [page]The server ranked by level, XP, messages or voice time

Moderation

Eight commands, each behind the Discord permission named at the end of its line. Every use is logged.

/ban <user> [reason] [delete_messages]Ban someone, optionally clearing their recent messages. Needs Ban Members
/unban <user_id> [reason]Lift a ban, using the Discord user ID. Needs Ban Members
/kick <user> [reason]Remove someone from the server. Needs Kick Members
/timeout <user> <duration> [reason]Silence someone for a set time. Needs Moderate Members
/untimeout <user> [reason]End a timeout early. Needs Moderate Members
/clear <amount> [user] [reason]Delete up to 100 messages, optionally only one person's. Needs Manage Messages
/clearall <confirm> [reason]Delete every message in the channel. Asks for confirmation first. Needs Manage Messages
/nickname <user> [new_nickname] [reason]Change or clear somebody's nickname. Needs Manage Nicknames

Administrators

Four commands that need the Administrator permission: the ticket desk, and the three that keep the learning filter honest.

/ticket panel | close | info | reopenPost the ticket panel, or close, inspect and reopen a ticket
/ai-statsHow the filter is doing: what it caught, and how well
/ai-feedback correct | false-positive | false-negativeTell the filter it got a call right or wrong. This is what it learns from
/ai-reset-user <user> <system>Clear one member's score in one of the filters