chore: use typed notifications from rmcp (#3653)

2025-07-25 14:04:18 -04:00
parent 31a5f9cbbc
commit 0ef38c6658
17 changed files with 198 additions and 192 deletions
@@ -672,6 +672,7 @@ impl DeveloperRouter {
                                notification: Notification {
                                    method: "notifications/message".to_string(),
                                    params: object!({
+                                        "level": "info",
                                        "data": {
                                            "type": "shell",
                                            "stream": "stdout",
@@ -698,6 +699,7 @@ impl DeveloperRouter {
                                notification: Notification {
                                    method: "notifications/message".to_string(),
                                    params: object!({
+                                        "level": "info",
                                        "data": {
                                            "type": "shell",
                                            "stream": "stderr",