Fix: Remove unused server parameter from constructor

- Fixes TypeScript error TS6138
- server parameter was declared but never used
- Notifications work via console.log instead

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

src/tools/builtin/messaging.ts

@@ -75,7 +75,7 @@ export class ReceiveMessagesTool extends ToolHandler<ReceiveMessagesInput, any>
   private messages: any[] = [];
   private subscribed = false;
 
-  constructor(private natsClient: NatsClient, private server?: any) {
+  constructor(private natsClient: NatsClient) {
     super(
       {
         name: 'receive_messages',