{"ok":true,"site":{"host":"docs.simplicity-lang.org","url":"https://docs.simplicity-lang.org/","type":"live","desc":"A typed, combinator-based, smart contract language for Bitcoin-like blockchains.","tools":[{"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/glossary/","/office-hours/","/simplicityhl-reference/","/tutorial/","/documentation/_jets/"]}],"category":"Developer Tools","favicon":"/favicons/docs.simplicity-lang.org.png","apiSurface":"spec","toolCount":1}}