Skip to content

add the sum tool to init#179

Merged
peterj merged 1 commit intomainfrom
peterj/exportthesumtool
Feb 18, 2026
Merged

add the sum tool to init#179
peterj merged 1 commit intomainfrom
peterj/exportthesumtool

Conversation

@peterj
Copy link
Copy Markdown
Contributor

@peterj peterj commented Feb 17, 2026

No description provided.

Signed-off-by: Peter Jausovec <[email protected]>
@peterj peterj merged commit 29d882e into main Feb 18, 2026
3 checks passed
@timflannagan timflannagan deleted the peterj/exportthesumtool branch February 18, 2026 03:18
timflannagan pushed a commit to timflannagan/agentregistry that referenced this pull request Feb 20, 2026
christian-posta pushed a commit to christian-posta/agentregistry that referenced this pull request Mar 9, 2026
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.

2 participants