vrr/koboldcpp
2
0
Fork 0
mirror of https://github.com/LostRuins/koboldcpp.git synced 2026-08-22 06:45:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

server: Add a simple get_datetime server tool (#22649)

Browse source
This commit is contained in:
Evan Huus 2026-05-04 06:19:41 -04:00 • committed by GitHub
parent fa8feaed34
commit c84e6d6db5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 32 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

30
tools/server/server-tools.cpp
View file

@ -693,6 +693,35 @@ struct server_tool_apply_diff : server_tool {
}
};
//
// get_datetime: returns the current date and time
//
struct server_tool_get_datetime : server_tool {
server_tool_get_datetime() {
name = "get_datetime";
display_name = "Get Date & Time";
permission_write = false;
}
json get_definition() override {
return {
{"type", "function"},
{"function", {
{"name", name},
{"description", "Returns the current date and time"},
}},
};
}
json invoke(json) override {
auto now = std::chrono::system_clock::now();
auto time = std::chrono::system_clock::to_time_t(now);
return {{"result", std::ctime(&time)}};
}
};
//
// public API
//
@ -706,6 +735,7 @@ static std::vector<std::unique_ptr<server_tool>> build_tools() {
tools.push_back(std::make_unique<server_tool_write_file>());
tools.push_back(std::make_unique<server_tool_edit_file>());
tools.push_back(std::make_unique<server_tool_apply_diff>());
tools.push_back(std::make_unique<server_tool_get_datetime>());
return tools;
}