/** Public entrypoint for the `web_crawl` host tool. */
export { WEB_CRAWL_DESCRIPTION_DESCRIPTION, WEB_CRAWL_KIND, WEB_CRAWL_QUERY_DESCRIPTION, WEB_CRAWL_TOOL_DESCRIPTION, WEB_CRAWL_TOOL_SUMMARY, WEB_CRAWL_URL_DESCRIPTION, webCrawlContract } from './contract.js';
//# sourceMappingURL=index.js.map