From 8a1c806029bd1825660ecd7f80cd97b98661316c Mon Sep 17 00:00:00 2001 From: Oskar Stark Date: Thu, 4 Sep 2025 21:34:02 +0200 Subject: [PATCH] Minor doc changes --- doc/index.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/index.rst b/doc/index.rst index e9500b8f..8e6e85b7 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -118,7 +118,7 @@ We would also need a class to actually execute the tool:: } } -If you have multiple tools, you can put them in a ToolChain:: +If you have multiple tools, you can put them in a ``ToolChain``:: $tools = new ToolChain([ new CurrentTimeToolMetadata(), @@ -130,10 +130,10 @@ If you have multiple tools, you can put them in a ToolChain:: [ new ToolCallHandler($tools), new ToolListHandler($tools), - // Other RequestHandlers ... + // other RequestHandlers ... ], [ - // Other NotificationHandlers ... + // other NotificationHandlers ... ], new NullLogger() );