fetch_page
Convert Verso documentation pages to Markdown. Specify an #anchor to retrieve just one section instead of the whole chapter.
Instructions
Fetch a page from a Verso documentation site and return it as Markdown.
Converts the site's HTML to Markdown. With an #anchor, only that single
entry/section is returned (not the whole chapter). A relative path is
resolved against site; an absolute URL is accepted only if it falls under
a configured site root. Plain http://, off-site URLs, and path-traversal
segments are rejected. Read-only.
Args:
url_or_path: absolute URL on a configured site, or a site-relative path.
May include an "#anchor" (e.g. ".../Tactic-Reference/#induction").
site: site to resolve a relative path against (alias from list_sites);
omit for the default. Ignored when url_or_path is absolute.
response_format: "markdown" (default) for the page text, or "json" for
text plus metadata.
Returns: markdown: a "" header line, then the page/section as Markdown (capped at ~200 KB with a truncation marker). json: {"site","url","anchor","content","truncated"} On failure: an error string, or {"error": "..."} when response_format="json".
Examples:
- Read one entry -> fetch_page(url_or_path=".../Tactic-Reference/#induction")
- Read a chapter -> fetch_page(url_or_path="/Tactic-Proofs/Tactic-Reference/")
- Resolve a hit -> pass the url field of a search result here.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| site | No | Which configured Verso site to use — an alias from `list_sites`. Omit to use the default site. | |
| url_or_path | Yes | An absolute URL on a configured Verso site, or a site-relative path like '/Tactic-Proofs/Tactic-Reference/'. Append '#anchor' to focus on one section/entry. | |
| response_format | No | 'markdown' (page text) or 'json' (text + metadata) | markdown |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |