Tool groups

Since 8 Sept 2026

Decided on: 2026-09-08
Context: A long tool list costs tokens.
Consequence: Groups can be switched off.

Other options considered

One big list

Checked against the source at commit f4fd89f on 29 Oct 2026. Everything here is merged on the main branch; no release has been tagged yet. The source is private, so these pages are the public description.