Repository navigation

Add TypeCheck to this server button when the bot is missing - #57

Merged

CompleteDotTech merged 1 commit into

mainfrom

feat/activity-add-bot-button

Oct 19, 2026

Merged

Add TypeCheck to this server button when the bot is missing#57
CompleteDotTech merged 1 commit into
mainfrom
feat/activity-add-bot-button

Commits on Oct 19, 2026
- Offer an Add TypeCheck to this server button when the Activity's server lacks the bot
  
  CompleteDotTech
  and
  claude
  committed
  a84550c