Skip to content

feat(tools): READONLY_TOOLS filter + GitHub issue/PR pre-fetch (#193 PR 1/3)#194

Merged
Abernaughty merged 1 commit into
mainfrom
feat/issue-193-tool-filter-github-prefetch
Apr 17, 2026
Merged

feat(tools): READONLY_TOOLS filter + GitHub issue/PR pre-fetch (#193 PR 1/3)#194
Abernaughty merged 1 commit into
mainfrom
feat/issue-193-tool-filter-github-prefetch

feat(tools): READONLY_TOOLS filter + GitHub issue/PR pre-fetch (refs …

ede3198
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar