u

2026-10-07 19:16:42 +02:00
parent 1743cef11c
commit 857963b1c3
20 changed files with 892 additions and 182 deletions
--- a/src/tools/patch.js
+++ b/src/tools/patch.js
@@ -98,12 +98,12 @@ export function createPatchTool({ googleAuthId }) {
                                description: 'Replacement text.',
                            },
                            title: {
-                                type: 'string',
-                                description: 'Optional line-1 title for SKILL files.',
+                                type: ['string', 'null'],
+                                description: 'Optional line-1 title for SKILL files or null.',
                            },
                            skiplines: {
-                                type: 'integer',
-                                description: 'Lines to skip before searching.',
+                                type: ['integer', 'null'],
+                                description: 'Lines to skip before searching or null.',
                            },
                        },
                    },