search
Find documentation entries by name in a Verso site's cross-reference index. Returns ranked matches from canonical and display names, with optional filters for kind and site.
Instructions
Search a Verso documentation site's cross-reference index by name.
Matches entry names and display names (not free text inside pages — use
fetch_page to read a page). Results are ranked by match quality and
paginated. Read-only.
Args:
query: free-text query matched against canonical and user-facing names.
site: which configured site (alias from list_sites); omit for the default.
kind: optional kind filter — one of the values from list_kinds.
limit: maximum results per page, 1-100 (default 20).
offset: number of results to skip, for pagination (default 0).
response_format: "markdown" (default) or "json".
Returns: markdown: a header ("N matches … showing X-Y") then one bullet per hit ("- [kind] display — url"), plus a hint to re-call with a higher offset. json: {"site","query","kind","total","count","offset","has_more", "next_offset","results":[{"kind","name","display","url",...}]}
Examples: - "Find the simp tactic" -> search(query="simp", kind="tactic") - "Search the FPiL book for monads" -> search(query="monad", site="fpil") - "Next page of results" -> search(query=..., offset=20)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kind | No | Optional kind filter from `list_kinds` (e.g. 'tactic', 'section', 'option'). | |
| site | No | Which configured Verso site to use — an alias from `list_sites`. Omit to use the default site. | |
| limit | No | Maximum results per page. | |
| query | Yes | Free-text query, matched against canonical and display names (e.g. 'simp', 'Nat.add', 'monad'). | |
| offset | No | Number of results to skip, for pagination. | |
| response_format | No | 'markdown' (human-readable) or 'json' (structured) | markdown |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |