feat: improve tool loading (#2193)

This commit is contained in:
Yingjie He
2025-04-14 20:10:07 -07:00
committed by GitHub
parent b80f2b9bb7
commit 167ac0efdc
6 changed files with 91 additions and 68 deletions
@@ -33,7 +33,10 @@ export default function PermissionModal({ extensionName, onClose }: PermissionMo
console.error('Failed to get tools');
} else {
const filteredTools = (response.data || []).filter(
(tool) => tool.name !== 'platform__enable_extension'
(tool) =>
tool.name !== 'platform__enable_extension' &&
tool.name !== 'platform__read_resource' &&
tool.name !== 'platform__list_resources'
);
setTools(filteredTools);
}