Repository navigation

Introduce the `Tool` interface - #348

Open

domfarolino wants to merge 11 commits into

mainfrom

Open

Introduce the `Tool` interface#348
domfarolino wants to merge 11 commits into
mainfrom
tool-interface

Commits on Oct 15, 2026
- Introduce the `Tool` interface
  domfarolino
  committed
  2dfd5b8
Commits on Oct 16, 2026
- Add tool id to definition
  domfarolino
  committed
  f8c3b0a
- Wordsmithing
  domfarolino
  committed
  fd29af4
- Reordering and small wording changes
  domfarolino
  committed
  bbaf77a
- Reference opaque origin follow-up
  domfarolino
  committed
  6422b9d
- Some tool documentation
  domfarolino
  committed
  a8f4172
- or-null and remove note
  domfarolino
  committed
  eb2e130
- Tiny nits
  domfarolino
  committed
  35eda34
Commits on Oct 21, 2026
- Clean note
  domfarolino
  committed
  1f14499
- Split into two notes
  domfarolino
  committed
  2cd2621
- Address domintro
  domfarolino
  committed
  8020f58