Look up module coverage
covera_coverage_measureRead a module's coverage results from the COVER server, including summary and optional per-file and per-function detail, without running builds or changing anything.
Instructions
Read a module's coverage results from the COVER server: the module summary, and optionally per-file and per-function detail. Read-only; runs nothing and changes nothing. Give exactly one of a module name (a filename or path suffix to search for) or a 24-hex module id. The server URL and Access Key come from the Local Agent's cached Open API credentials; set CODESCROLL_TM_INSTALL_PATH if they are not found (see covera_doctor).
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "covera_coverage_measure"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | Rows per detail page (1-2000, default 100). | |
| details | No | Include per-file and per-function coverage, not just the module summary. | |
| maxPages | No | Maximum detail pages to read (default 1000). | |
| moduleId | No | 24-hex build module id (not a symbolicmoduleid URL). | |
| serverUrl | No | COVER Open API main web server URL; defaults to the cached one. | |
| verifyTls | No | Verify the HTTPS certificate and hostname (skipped by default). | |
| moduleName | No | Full filename or path suffix of the module to find. The server may return several candidates. |