Add CALL_BEGIN2 for server name parsing

This commit is contained in:
hksdpc255 2026-03-17 09:11:27 +08:00 committed by GitHub
parent eaf6e7912c
commit d6ec977276
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 2 deletions

View File

@ -1317,6 +1317,7 @@ static common_chat_params common_chat_params_init_mirothinker(const common_chat_
const std::string SECTION_BEGIN = "<use_mcp_tool>";
const std::string SECTION_END = "</use_mcp_tool>";
const std::string CALL_BEGIN = "<server_name>";
const std::string CALL_BEGIN2 = "</server_name>";
const std::string ARGS_BEGIN = "<arguments>";
const std::string CALL_END = "</arguments>";
@ -1339,8 +1340,8 @@ static common_chat_params common_chat_params_init_mirothinker(const common_chat_
// Match: {what_ever}</server_name>{spaces}<tool_name>{tool_name}</tool_name>
auto tool_parser = p.tool(
p.tool_open(
p.until("</server_name>") +
p.literal("</server_name>") +
p.until(CALL_BEGIN2) +
p.literal(CALL_BEGIN2) +
p.space() +
p.literal("<tool_name>") +
p.tool_name(p.literal(name)) +