Skip to content

Add title to tools, resources, prompts#972

Merged
felixweinberger merged 6 commits intomainfrom
fweinberger/encourage-naming
Jun 17, 2025
Merged

Add title to tools, resources, prompts#972
felixweinberger merged 6 commits intomainfrom
fweinberger/encourage-naming

Commits

Commits on Jun 17, 2025