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

Abernaughty merged 1 commit into

mainAbernaughty/agent-dev:mainfrom

feat/issue-193-tool-filter-github-prefetchAbernaughty/agent-dev:feat/issue-193-tool-filter-github-prefetchCopy head branch name to clipboard