Tool tree
A typed, combinator-based, smart contract language for Bitcoin-like blockchains.
Implementation
gradeNot graded
gradeNot graded
page: Every page
search_docsAnswer
Search Simplicity documentation for concepts, symbols, and examples. Returns up to ten matching sections with titles, excerpts, and URLs, and shows the query in the site search.
View tool JSON
{
"name": "search_docs",
"kind": "answer",
"impl": "imperative",
"description": "Search Simplicity documentation for concepts, symbols, and examples. Returns up to ten matching sections with titles, excerpts, and URLs, and shows the query in the site search.",
"inputSchema": {
"type": "object",
"properties": {
"query": {
"type": "string",
"description": "Search words or a symbol name, such as relative timelock or eq_32."
}
},
"required": [
"query"
],
"additionalProperties": false
},
"page": "/"
}