address comment: emit disabled tools

Author: blva

src/server.ts

@@ -117,6 +117,7 @@ export class Server {
         if (command === "start") {
             event.properties.startup_time_ms = commandDuration;
             event.properties.read_only_mode = this.userConfig.readOnly || false;
+            event.properties.disallowed_tools = this.userConfig.disabledTools || [];
         }
         if (command === "stop") {
             event.properties.runtime_duration_ms = Date.now() - this.startTime;

src/telemetry/types.ts

@@ -47,6 +47,8 @@ export interface ServerEvent extends BaseEvent {
         reason?: string;
         startup_time_ms?: number;
         runtime_duration_ms?: number;
+        read_only_mode?: boolean;
+        disabled_tools?: string[];
     } & BaseEvent["properties"];
 }