Tool tree
This blog is where I share my projects, hobbies, and the little things that catch my eye. I'll be trying to take a "less is more" approach, refining and distilling the notes I've written for myself,…
Implementation
gradeNot graded
gradeNot graded
page: Every page
search_siteAnswer
Full-text search across donchong.com notes, projects, hobbies and recipes. Returns a list of matching pages with their url, section title and parent page title.
View tool JSON
{
"name": "search_site",
"kind": "answer",
"impl": "imperative",
"description": "Full-text search across donchong.com notes, projects, hobbies and recipes. Returns a list of matching pages with their url, section title and parent page title.",
"inputSchema": {
"type": "object",
"properties": {
"query": {
"type": "string",
"description": "Search query string."
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 25,
"description": "Maximum number of results (default 10)."
}
},
"required": [
"query"
]
},
"page": "/"
}navigateAction
Navigate the user to a path on donchong.com (e.g. "/me", "/projects/this-site"). Use search_site first to discover valid paths.
View tool JSON
{
"name": "navigate",
"kind": "act",
"impl": "imperative",
"description": "Navigate the user to a path on donchong.com (e.g. \"/me\", \"/projects/this-site\"). Use search_site first to discover valid paths.",
"inputSchema": {
"type": "object",
"properties": {
"path": {
"type": "string",
"description": "Site-relative path beginning with \"/\", or a full https://donchong.com URL."
}
},
"required": [
"path"
]
},
"page": "/"
}fetch_page_markdownAnswer
Return the markdown source of any page on donchong.com. Useful for grounding answers in the page content.
View tool JSON
{
"name": "fetch_page_markdown",
"kind": "answer",
"impl": "imperative",
"description": "Return the markdown source of any page on donchong.com. Useful for grounding answers in the page content.",
"inputSchema": {
"type": "object",
"properties": {
"path": {
"type": "string",
"description": "Site-relative path. Defaults to the current page."
}
}
},
"page": "/"
}