Skip to content

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

matbrgz merged 1 commit into
mainfrom
chore/rename-tools

Conversation

@matbrgz

@matbrgz matbrgz commented Oct 12, 2026

Copy link
Copy Markdown
Contributor

Profile and SECURITY.md use tools-benchmark / tools-dataset and list the new tools-commons (ADR 0005 in .product).

🤖 Generated with Claude Code

…mons

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
@matbrgz
matbrgz merged commit e24ec86 into main Oct 12, 2026
2 checks passed
@matbrgz
matbrgz deleted the chore/rename-tools branch October 12, 2026 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant