{
  "id": "1171421764379742258",
  "name": "CakeML",
  "description": "CakeML - verified compiler, and theorem proving in higher-order logic",
  "members": 193,
  "online": 31,
  "verified": false,
  "partnered": false,
  "community": true,
  "boosts": 0,
  "vanity": null,
  "created": "2023-11-07T12:11:52.592Z",
  "icon": "https://cdn.discordapp.com/icons/1171421764379742258/e0daed9b6d91b8fefbd45d8a20a2175c.png?size=256",
  "features": [
    "CHANNEL_ICON_EMOJIS_GENERATED",
    "GUILD_ONBOARDING_EVER_ENABLED",
    "SOUNDBOARD",
    "TIERLESS_BOOSTING",
    "TIERLESS_BOOSTING_SYSTEM_MESSAGE",
    "GUILD_ONBOARDING",
    "GUILD_SERVER_GUIDE",
    "NEWS",
    "COMMUNITY"
  ],
  "categories": [],
  "legitimacy_score": 62,
  "custom_emojis": null,
  "animated_emojis": null,
  "stickers": null,
  "measured_at": "2026-09-04T14:35:20.519Z",
  "deleted": false
}