Tool tree
gradeNot graded
page: Every page
get_site_overviewAnswer
Get an overview of Henrique Lavezzo's personal website: what it is, the main sections with their URLs and purposes, and where the RSS feed and sitemap live. Call this first to orient yourself on the site.
View tool JSON
{
"name": "get_site_overview",
"kind": "answer",
"impl": "imperative",
"description": "Get an overview of Henrique Lavezzo's personal website: what it is, the main sections with their URLs and purposes, and where the RSS feed and sitemap live. Call this first to orient yourself on the site.",
"inputSchema": {
"type": "object",
"properties": {}
},
"page": "/"
}get_profileAnswer
Get professional identity facts about Henrique Lavezzo: tagline, current role and company, location, skills, and social links.
View tool JSON
{
"name": "get_profile",
"kind": "answer",
"impl": "imperative",
"description": "Get professional identity facts about Henrique Lavezzo: tagline, current role and company, location, skills, and social links.",
"inputSchema": {
"type": "object",
"properties": {}
},
"page": "/"
}get_current_focusAnswer
Get what Henrique is currently working on and focused on (the site's "now" page data): active quests, ongoing projects, and personal side paths, with the date this snapshot was last revised.
View tool JSON
{
"name": "get_current_focus",
"kind": "answer",
"impl": "imperative",
"description": "Get what Henrique is currently working on and focused on (the site's \"now\" page data): active quests, ongoing projects, and personal side paths, with the date this snapshot was last revised.",
"inputSchema": {
"type": "object",
"properties": {}
},
"page": "/"
}list_projectsAnswer
List Henrique's software projects and artifacts (the site's Laboratory). Optionally filter by category: flagship, research, tools, personal, or archive. Returns title, role, status, summary, repository URL, and tags for each project.
View tool JSON
{
"name": "list_projects",
"kind": "answer",
"impl": "imperative",
"description": "List Henrique's software projects and artifacts (the site's Laboratory). Optionally filter by category: flagship, research, tools, personal, or archive. Returns title, role, status, summary, repository URL, and tags for each project.",
"inputSchema": {
"type": "object",
"properties": {
"category": {
"type": "string",
"description": "Optional category filter.",
"enum": [
"flagship",
"research",
"tools",
"personal",
"archive"
]
}
}
},
"page": "/"
}search_notesAnswer
Search Henrique's Field Notes (blog posts / essays) by keyword. Matches against titles, summaries, categories, and tags. Returns ranked results with URLs that can be opened or cited. Use an empty query to list all notes, most recent first.
View tool JSON
{
"name": "search_notes",
"kind": "answer",
"impl": "imperative",
"description": "Search Henrique's Field Notes (blog posts / essays) by keyword. Matches against titles, summaries, categories, and tags. Returns ranked results with URLs that can be opened or cited. Use an empty query to list all notes, most recent first.",
"inputSchema": {
"type": "object",
"properties": {
"query": {
"type": "string",
"description": "Keywords to search for (e.g. \"architecture\", \"LLM\", \"Clojure\"). Leave empty to list every note."
},
"limit": {
"type": "number",
"description": "Maximum number of results to return (default 10)."
}
}
},
"page": "/"
}page: Letter
send_letterSensitive Action
Compose a letter to Henrique Lavezzo about engineering leadership, software architecture, developer tools, AI-assisted engineering, or a collaboration. Fill the fields for the visitor to review; the visitor submits it themselves.
View tool JSON
{
"name": "send_letter",
"kind": "transact",
"impl": "declarative",
"description": "Compose a letter to Henrique Lavezzo about engineering leadership, software architecture, developer tools, AI-assisted engineering, or a collaboration. Fill the fields for the visitor to review; the visitor submits it themselves.",
"inputSchema": {
"type": "object",
"properties": {
"name": {
"type": "string"
},
"email": {
"type": "string"
},
"subject": {
"type": "string"
},
"message": {
"type": "string"
},
"_gotcha": {
"type": "string"
}
},
"required": [
"name",
"email",
"subject",
"message"
]
},
"page": "/letter/"
}