diff --git a/apps/web/src/pages/tools-page.tsx b/apps/web/src/pages/tools-page.tsx index 7fbc1830d..107de0ba2 100644 --- a/apps/web/src/pages/tools-page.tsx +++ b/apps/web/src/pages/tools-page.tsx @@ -5,13 +5,11 @@ import { useState } from "react"; import "../tools/tools-page.css"; import { - Badge, Button, Card, CardDescription, CardTitle, Input, - PageShell, RichEmptyState, Section, Table, @@ -72,7 +70,7 @@ function ToolTile({

{name} - {official ? "Official" : "Custom"} + {official ? "Official" : "Custom"}

{desc}

{children} @@ -99,7 +97,7 @@ function ConnectedTile({ official={official} >
- {`${String(server.tools.length)} tools live`} + {`${String(server.tools.length)} tools live`}
- - {body} - +
{body}
); @@ -290,7 +286,11 @@ export function ToolsPage({ tenantId }: { readonly tenantId: string | null }) { } return stage( -
+
+
+

Tools

+

Official servers first. Secrets never touch your workers.

+