Look up a proven fact
lookup_factSearch the library of machine-checked facts. Compact by default (claim start, label, receipt link); set detail true for the full wording.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | Words about the fact, e.g. "root theorem" | |
| detail | No | Full claim, what checked it and what is not proven | |
| max_results | No | How many matches, at most 25 |