Repository navigation

docs: rename tools and add tools-commons to the profile - #6

Merged

matbrgz merged 1 commit into

mainfrom

chore/rename-tools

Oct 12, 2026

Merged

docs: rename tools and add tools-commons to the profile#6
matbrgz merged 1 commit into
mainfrom
chore/rename-tools

Commits on Oct 12, 2026
- docs: rename tools to tools-benchmark/tools-dataset and add tools-commons
  
  matbrgz
  and
  claude
  committed
  da24cb4