Find an exact mathematical operation
math.findSearch or inspect installed math tools by desired outcome or exact ID to find computation, search, structural analysis, or verification capabilities.
Instructions
Search or inspect installed math tools by desired outcome or exact ID. Use when a task may benefit from exact computation, search, structural analysis, or a separate checker tool—even if shell code could also calculate the answer.
Forms:
query: plain-language mathematical outcome (compact tool cards).Optional
domainfilter;limit1-20 (default 5).Omit arguments to browse; follow
next_cursorwith the same filters to continue.Ranking is deterministic lexical retrieval; matches are not recommendations.
capability_id: exact inspect (SUMMARY / CONTRACT / FULL views).
Checker tools are separate IDs (often *.verify), not a switch on producers.
Examples:
{"query":"compute an exact matrix determinant","domain":"matrix","limit":3}{"query":"find a counterexample to associativity","domain":"universal_algebra"}{"capability_id":"polynomial.compute.gcd","view":"CONTRACT"}
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| view | No | Exact lookup only: SUMMARY judges fit; CONTRACT adds the validated input schema and invocation examples; FULL adds audit metadata. Omit for discovery. | SUMMARY |
| limit | No | Maximum compact discovery matches; defaults to 5. Lower values reduce returned model context without changing match order. | |
| query | No | Plain-language mathematical outcome to find, such as computing an exact matrix determinant; no capability ID is required. | |
| cursor | No | Opaque continuation ID from next_cursor. Reuse the same query, domain, input kind, artifact type, and limit. | |
| domain | No | Optional domain tag filter, such as universal_algebra, graph, polynomial, or lean. | |
| input_kind | No | Input boundary used to reject incompatible routes. | |
| artifact_type | No | Exact schema_uri from the stored artifact manifest; requires TYPED_ARTIFACT. | |
| capability_id | No | Exact installed ID; cannot be combined with discovery filters. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||