INFO retrieval registry ready
INFO Tool 'search_documentation' rejected arguments: ['k']
INFO Tool 'search_documentation' rejected arguments: ['unexpected']
INFO Tool 'read_documentation' failed: 'Error executing tool read_documentation: unissued_search_receipt'
INFO Tool 'read_documentation' failed: 'Error executing tool read_documentation: stale_corpus'
INFO Tool 'read_documentation' failed: 'Error executing tool read_documentation: invalid_read_handle'
INFO Tool 'unknown_documentation_tool' failed: 'Unknown tool: unknown_documentation_tool'
INFO retrieval registry closed
