# BinSight (npm · binsight)

The AI X-ray for any file: what is it, what does it hide, what changed. Built on REA.

- Trust score: 54/100 (low)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-10-18

## Components

- npm · `binsight`: 54/100 (this document), [markdown](https://verifymcp.io/servers/alessiolucini-binsight/binsight.md), [page](https://verifymcp.io/servers/alessiolucini-binsight/binsight)

## Channel facts

- Registry: `npm`
- Package: `binsight`
- Version: `6.6.0`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-10-18.

- **Supply Chain Security**: 98/100
  - No malware found by supply-chain analysis.
  - No known CVEs affecting this package version or its production dependencies.
  - No install/post-install scripts declared.
  - 62 of 181 dependencies flagged as unhealthy (1 deprecated).
- **Provenance & Transparency**: 100/100
  - Source repository is publicly reachable at the declared URL.
  - Cryptographically verified build provenance (signed, bound to Alessiolucini/binsight).
  - Clear OSI-approved license (MIT).
  - Actively maintained (last published 0 days ago).
  - Publishes a security disclosure policy (SECURITY.md).
- **Schema Quality & AI Usability**: 0/100
  - Schema quality not yet verified: the captured schema was too large for us to store in full, or the server stopped listing its tools part-way, so we will not judge it on a partial copy.
- **Stability & Change Management**: 3/100
  - Stability observed for 1 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 0/100
  - Tool coverage not yet verified: the captured tool definitions were too large for us to store in full, or the server stopped listing its tools part-way, so we will not judge them on a partial copy.
- **Tool Safety**: 0/100
  - Tool safety not yet verified: the captured tool definitions were too large for us to store in full (the trim removes the very descriptions this category reads), or the server stopped listing its tools part-way.
- **Capabilities**: 100/100
  - Implements a current MCP spec version (2026-07-28).

**Unverified: 3 categories.** Categories scored 0 because our sandbox has not given us the schema these checks need to read. That is a gap on our side rather than a finding about the package, and we only credit what we can confirm, so the score stands at 0 until the capture succeeds. We are working through the fleet, so this normally clears without any action from you.

## Install

### How do I install the BinSight MCP server?

BinSight runs locally as an npm package, launched with npx -y binsight. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

### Claude

```bash
claude mcp add alessiolucini-binsight -- npx -y binsight
```

### Cursor

```json
{
  "mcpServers": {
    "alessiolucini-binsight": {
      "command": "npx",
      "args": [
        "-y",
        "binsight"
      ]
    }
  }
}
```

### VS Code

```json
{
  "servers": {
    "alessiolucini-binsight": {
      "command": "npx",
      "args": [
        "-y",
        "binsight"
      ]
    }
  }
}
```

### Codex

```bash
codex mcp add alessiolucini-binsight -- npx -y binsight
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "alessiolucini-binsight": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "binsight"
      ],
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add alessiolucini-binsight --command npx --arg -y --arg binsight
```

### Hermes

```yaml
mcp_servers:
  alessiolucini-binsight:
    command: "npx"
    args: ["-y", "binsight"]
```

### Netclaw

```json
{
  "McpServers": {
    "alessiolucini-binsight": {
      "Transport": "stdio",
      "Command": "npx",
      "Arguments": [
        "-y",
        "binsight"
      ]
    }
  }
}
```

### Vellum

```bash
assistant mcp add alessiolucini-binsight -t stdio -c npx -a -y binsight
```

### Other

```json
{
  "mcpServers": {
    "alessiolucini-binsight": {
      "command": "npx",
      "args": [
        "-y",
        "binsight"
      ]
    }
  }
}
```

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-10-18 (score 54, +26)

- [security improvement] Malware scan: unverified → pass
- [security improvement] Provenance: fail → pass
- [security] Stability: Stability not yet verified: our sandbox could not run this package, so we have no schema to compare.
- [security] Tool safety: Tool safety not yet verified: our sandbox could not run this package, so we have no tool text to scan.
- [security] Stability: Stability not yet verified: we do not have a sandbox capture of the MCP schema this version of the package serves yet.
- [security] Tool safety: Tool safety not yet verified: we do not have a sandbox capture of the tool definitions this version of the package serves yet.
- [security] The attested source repository moved: Alessiolucini/binsight
- [functional regression] Capabilities: pass → unverified
- [functional regression] Capabilities: pass → unverified
- [functional improvement] Stability: unverified → 0.03
- [functional] Schema quality: Schema quality not yet verified: our sandbox could not run this package, so we have no schema to assess.
- [functional] Tool coverage: Tool coverage not yet verified: our sandbox could not run this package, so we have no tool definitions to assess.
- [functional] Schema quality: Schema quality not yet verified: we do not have a sandbox capture of the MCP schema this version of the package serves yet.
- [functional] Tool coverage: Tool coverage not yet verified: we do not have a sandbox capture of the tool definitions this version of the package serves yet.
- [functional] Package version: 6.5.1 → 6.6.0

### 2026-10-17 (score 28)

First indexed and scored.

## MCP tools (224)

The latest capture was truncated, so this tool list may be partial.

### `annotate_native_function` (~148 tokens)

Input parameters:

- `comment` (string)
- `inline_comment` (string)
- `name` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_native_load_image` (~100 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_native_data_type` (~86 tokens)

Input parameters:

- `address` (string)
- `document` (string)
- `type` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_native_instruction` (~108 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `resolve_native_call_targets` (~65 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `address_name` (~92 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `comment` (~86 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `current_address` (~55 tokens)

Input parameters:

- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `current_procedure` (~53 tokens)

Input parameters:

- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `current_document` (~20 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `goto_address` (~104 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inline_comment` (~80 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_bookmarks` (~67 tokens)

Input parameters:

- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_documents` (~35 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_names` (~83 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_procedures` (~62 tokens)

Input parameters:

- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_segments` (~64 tokens)

Input parameters:

- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_strings` (~131 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `next_address` (~78 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `prev_address` (~87 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_address` (~66 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_assembly` (~97 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_callees` (~98 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_callers` (~88 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_info` (~128 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `read_function_instructions` (~67 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `search_bytes` (~185 tokens)

Input parameters:

- `cursor` (string)
- `document` (string)
- `end` (string)
- `limit` (integer)
- `mask` (string)
- `pattern` (string, required)
- `start` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `read_bytes` (~92 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)
- `length` (integer)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `address_to_file_offset` (~123 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_references` (~102 tokens)

Input parameters:

- `direction` (string)
- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `procedure_pseudo_code` (~156 tokens)

Input parameters:

- `document` (string)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `resolve_containing_procedure` (~95 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `search_procedures` (~106 tokens)

Input parameters:

- `case_sensitive` (boolean)
- `document` (string)
- `mode` (string)
- `pattern` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `search_strings` (~205 tokens)

Input parameters:

- `case_sensitive` (boolean)
- `document` (string)
- `mode` (string)
- `pattern` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `set_address_name` (~131 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)
- `name` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `set_addresses_names` (~119 tokens)

Input parameters:

- `document` (string)
- `names` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `set_bookmark` (~97 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)
- `name` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `set_comment` (~102 tokens)

Input parameters:

- `address` (string, required)
- `comment` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `set_inline_comment` (~106 tokens)

Input parameters:

- `address` (string, required)
- `comment` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `unset_bookmark` (~91 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `xrefs` (~121 tokens)

Input parameters:

- `address` (string)
- `document` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_native_values` (~179 tokens)

Input parameters:

- `limit` (integer)
- `max_call_sites` (integer)
- `max_depth` (integer)
- `max_edges` (integer)
- `max_functions` (integer)
- `max_nodes` (integer)
- `offset` (integer)
- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_native_dispatch_metadata` (~123 tokens)

Input parameters:

- `max_records` (integer)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `get_objc_classes` (~42 tokens)

Input parameters:

- `pattern` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `get_objc_protocols` (~22 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `batch_decompile` (~78 tokens)

Input parameters:

- `addresses` (array)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `get_call_graph` (~106 tokens)

Input parameters:

- `address` (string, required)
- `direction` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `analyze_swift_types` (~174 tokens)

Input parameters:

- `category` (string)
- `pattern` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `find_xrefs_to_name` (~63 tokens)

Input parameters:

- `name` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `binary_overview` (~97 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `analyze_function` (~99 tokens)

Input parameters:

- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_native_api` (~76 tokens)

Input parameters:

- `procedure` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_feature` (~81 tokens)

Input parameters:

- `case_sensitive` (boolean)
- `query` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_call_path` (~132 tokens)

Input parameters:

- `direction` (string)
- `goal` (string)
- `start` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_native_ui_action` (~149 tokens)

Input parameters:

- `action` (string, required)
- `max_depth` (integer)
- `max_edges` (integer)
- `max_nodes` (integer)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `observe_native_ui` (~98 tokens)

Input parameters:

- `accessibility` (boolean)
- `max_nodes` (integer)
- `pid` (integer, required)
- `screenshot` (boolean)
- `window_id` (integer, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `capture_native_ui_scenario` (~126 tokens)

Input parameters:

- `accessibility` (boolean)
- `max_nodes` (integer)
- `pid` (integer, required)
- `screenshot` (boolean)
- `steps` (array, required)
- `window_id` (integer, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `observe_native_calls` (~262 tokens)

Input parameters:

- `argument_registers` (integer)
- `arguments` (array)
- `backtrace_frames` (integer)
- `breakpoints` (array, required)
- `duration_ms` (integer)
- `environment` (object)
- `max_events` (integer)
- `working_directory` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_macho` (~117 tokens)

Input parameters:

- `detail` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_signature` (~38 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_plist` (~50 tokens)

Input parameters:

- `path` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_architectures` (~32 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `demangle_swift` (~49 tokens)

Input parameters:

- `symbols` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_artifact` (~199 tokens)

Input parameters:

- `detail` (string)
- `integrity_policy` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `extract_artifact` (~87 tokens)

Input parameters:

- `integrity_policy` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `decode_interface_builder` (~192 tokens)

Input parameters:

- `detail` (string)
- `max_connections` (integer)
- `max_documents` (integer)
- `max_objects` (integer)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_keyed_archive` (~104 tokens)

Input parameters:

- `limit` (integer)
- `offset` (integer)
- `path` (string)
- `root` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_asset_catalog` (~59 tokens)

Input parameters:

- `limit` (integer)
- `offset` (integer)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_dylib_resolution` (~170 tokens)

Input parameters:

- `architecture` (string)
- `roots` (array)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_managed_artifact` (~169 tokens)

Input parameters:

- `detail` (string)
- `path` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_managed_members` (~317 tokens)

Input parameters:

- `detail` (string)
- `path` (string)
- `type_names` (array)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_managed_native_boundaries` (~85 tokens)

Input parameters:

- `path` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_managed_members` (~208 tokens)

Input parameters:

- `left` (object, required)
- `right` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `verify_managed_native_boundaries` (~101 tokens)

Input parameters:

- `managed_boundaries` (object, required)
- `native_observations` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `import_managed_reconstruction` (~108 tokens)

Input parameters:

- `decompiler` (object, required)
- `methods` (array, required)
- `notes` (array)
- `static_members` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `project_managed_application_graph` (~88 tokens)

Input parameters:

- `managed_artifact` (object)
- `managed_members` (object)
- `managed_native_boundaries` (object)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_with_objdump` (~221 tokens)

Input parameters:

- `follow_debug_links` (boolean)
- `operation` (required)
- `path` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `execute_rizin_command` (~219 tokens)

Input parameters:

- `command` (string, required)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_frida_devices` (~54 tokens)

Input parameters:

- `remote` (object)

Output parameters:

- `cleanup_error`
- `devices`

### `list_frida_processes` (~59 tokens)

Input parameters:

- `device_id` (string)
- `remote` (object)

Output parameters:

- `cleanup_error`
- `device_id`
- `processes`

### `start_frida_session` (~105 tokens)

Input parameters:

- `argv` (array)
- `device_id` (string)
- `mode` (string, required)
- `pid` (integer)
- `program` (string)
- `remote` (object)

Output parameters:

- `device_id`
- `mode`
- `pid`
- `session_id`
- `state`
- `target`

### `load_frida_script` (~94 tokens)

Input parameters:

- `path` (string)
- `session_id` (string, required)
- `source` (string)
- `source_kind` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `resume_frida_session` (~43 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `state`

### `unload_frida_script` (~49 tokens)

Input parameters:

- `script_id` (string, required)
- `session_id` (string, required)

Output parameters:

- `unloaded`

### `frida_session_status` (~43 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `close_frida_session` (~66 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `target_state`

### `instrument_with_frida` (~148 tokens)

Input parameters:

- `argv` (array)
- `device_id` (string)
- `duration_ms` (integer)
- `mode` (string, required)
- `path` (string)
- `pid` (integer)
- `program` (string)
- `remote` (object)
- `source` (string)
- `source_kind` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_cutter_sessions` (~76 tokens)

Output parameters:

- `bridge_directory`
- `bridge_directory_security`
- `discovery_status`
- `sessions`

### `cutter_command` (~128 tokens)

Input parameters:

- `command` (string, required)
- `expected_generation` (integer, required)
- `json` (boolean)
- `session_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `start_gdb_session` (~186 tokens)

Input parameters:

- `inferior_tty` (string)

Output parameters:

- `mi_version`
- `session_id`

### `gdb_console` (~133 tokens)

Input parameters:

- `command` (string, required)
- `session_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `gdb_session_status` (~56 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `diagnostics_truncated`
- `inferior_tty`
- `inferior_tty_verified`
- `mi_invalid_utf8`
- `mi_version`
- `recent_mi_records`
- `recent_mi_records_truncated`
- `session_id`
- `state`
- `stderr`
- `stderr_invalid_utf8`
- `stderr_observed_bytes`
- `stderr_truncated`

### `close_gdb_session` (~119 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `target_state`

### `start_rizin_debug_session` (~200 tokens)

Input parameters:

- `backend` (string)
- `inferior_tty` (string, required)
- `path` (string, required)

Output parameters:

- `backend`
- `session_id`

### `rizin_debug_command` (~177 tokens)

Input parameters:

- `command` (string, required)
- `session_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `rizin_debug_session_status` (~74 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `diagnostics_truncated`
- `inferior_tty`
- `output_invalid_utf8`
- `recent_output`
- `recent_output_truncated`
- `session_id`
- `state`

### `close_rizin_debug_session` (~120 tokens)

Input parameters:

- `session_id` (string, required)

Output parameters:

- `target_state`

### `inspect_packet_capture` (~327 tokens)

Input parameters:

- `decode_as` (array)
- `display_filter`
- `fields` (array, required)
- `match_limit`
- `match_offset` (integer)
- `packet_limit`
- `path` (string, required)
- `two_pass` (boolean)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_packet_fields` (~236 tokens)

Input parameters:

- `kind` (string)
- `limit`
- `offset` (integer)
- `protocol`
- `query` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `decode_signal_recording` (~270 tokens)

Input parameters:

- `annotations`
- `decoders` (string, required)
- `input_format`
- `line_limit`
- `line_offset` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_signal_decoders` (~217 tokens)

Input parameters:

- `decoder`
- `limit`
- `offset` (integer)
- `query` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_android_package` (~161 tokens)

Input parameters:

- `detail` (string)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `search_android_classes` (~112 tokens)

Input parameters:

- `path` (string, required)
- `query` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_android_class` (~89 tokens)

Input parameters:

- `class_name` (string, required)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_android_method` (~106 tokens)

Input parameters:

- `class_name` (string, required)
- `method_name` (string, required)
- `overload_index` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_android_references` (~178 tokens)

Input parameters:

- `class_name` (string, required)
- `method_name` (string)
- `overload_index` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_jeb_client` (~81 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `open_jeb_project` (~97 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_jeb_units` (~126 tokens)

Input parameters:

- `count` (integer)
- `filter` (string)
- `index` (integer)
- `parent_unit_path` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `decompile_jeb_item` (~128 tokens)

Input parameters:

- `item_address` (string, required)
- `item_kind` (string, required)
- `unit_path` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_binary_layout` (~298 tokens)

Input parameters:

- `detail` (string)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_analysis_view` (~1358 tokens)

Input parameters:

- `source` (required)
- `view` (required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_pe_resources` (~183 tokens)

Input parameters:

- `max_entries` (integer)
- `max_file_bytes` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_go_binary` (~190 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_rust_binary` (~230 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_executable` (~334 tokens)

Input parameters:

- `include` (array)
- `max_list` (integer)
- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_binary_hardening` (~329 tokens)

Input parameters:

- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `measure_binary_entropy` (~344 tokens)

Input parameters:

- `block_size` (integer)
- `max_blocks` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `detect_binary_toolchain` (~268 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `extract_binary_strings` (~388 tokens)

Input parameters:

- `categories` (array)
- `encodings` (array)
- `max_strings` (integer)
- `max_total_bytes` (integer)
- `min_length` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `identify_crypto_constants` (~369 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `classify_import_capabilities` (~277 tokens)

Input parameters:

- `max_support` (integer)
- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `scan_byte_patterns` (~301 tokens)

Input parameters:

- `max_matches` (integer)
- `path` (string, required)
- `patterns` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compute_similarity_hashes` (~328 tokens)

Input parameters:

- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_code_signature` (~281 tokens)

Input parameters:

- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `scan_embedded_content` (~362 tokens)

Input parameters:

- `entropy_window` (integer)
- `max_findings` (integer)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `generate_sbom` (~294 tokens)

Input parameters:

- `format` (string)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `recover_go_symbols` (~350 tokens)

Input parameters:

- `max_functions` (integer)
- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `triage_file` (~234 tokens)

Input parameters:

- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `generate_triage_report` (~196 tokens)

Input parameters:

- `path` (string, required)
- `slice` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_executables` (~420 tokens)

Input parameters:

- `base_path` (string, required)
- `max_list` (integer)
- `slice` (string)
- `target_path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_binaries` (~339 tokens)

Input parameters:

- `base_path` (string, required)
- `max_regions` (integer)
- `region_gap` (integer)
- `samples_per_region` (integer)
- `target_path` (string, required)
- `word_size`

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_wasm_interfaces` (~145 tokens)

Input parameters:

- `left` (required)
- `right` (required)
- `scope` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_wasm_artifact` (~223 tokens)

Input parameters:

- `candidate_paths` (array)
- `detail` (string)
- `glue_paths` (array)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_evm_interface` (~255 tokens)

Input parameters:

- `detail` (string)
- `encoding` (string, required)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_sqlite_database` (~357 tokens)

Input parameters:

- `columns` (array)
- `path` (string, required)
- `row_limit` (integer)
- `schema_scope` (string)
- `table` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_recorded_crash` (~238 tokens)

Input parameters:

- `include_debugger_context` (boolean)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_firmware_regions` (~110 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `extract_firmware` (~255 tokens)

Input parameters:

- `max_depth` (integer)
- `max_output_bytes` (integer)
- `max_output_files` (integer)
- `output_directory` (string, required)
- `path` (string, required)
- `range` (object)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_web_module_imports` (~239 tokens)

Input parameters:

- `import_map` (object)
- `importer_url` (string)
- `manifest_path` (string, required)
- `script_index` (integer, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_web_source_location` (~223 tokens)

Input parameters:

- `generated_position` (object, required)
- `manifest_path` (string, required)
- `script_index` (integer, required)
- `source_map` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `observe_web_execution` (~157 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `observation_ms` (integer)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_web_event_listeners` (~138 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `selector` (string, required)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_web_network_capture` (~444 tokens)

Input parameters:

- `capture_path` (string, required)
- `detail` (string)
- `format` (string, required)
- `record_ordinals` (array)
- `sensitive_values` (array)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `recover_javascript_sources` (~323 tokens)

Input parameters:

- `additional_paths` (array)
- `extraction_mode` (string)
- `output_directory` (string, required)
- `path` (string, required)
- `rewrite_level` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_adb_client` (~60 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_adb_devices` (~73 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_adb_device` (~83 tokens)

Input parameters:

- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_adb_packages` (~87 tokens)

Input parameters:

- `scope` (string)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `pull_adb_package` (~141 tokens)

Input parameters:

- `output_directory` (string, required)
- `package` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `read_adb_logcat` (~130 tokens)

Input parameters:

- `buffer` (string)
- `count` (integer)
- `pid` (integer)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_adb_package` (~91 tokens)

Input parameters:

- `package` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `pull_adb_file` (~112 tokens)

Input parameters:

- `device_path` (string, required)
- `output_directory` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `push_adb_file` (~143 tokens)

Input parameters:

- `device_path` (string, required)
- `local_path` (string, required)
- `overwrite` (boolean)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `capture_adb_screen` (~94 tokens)

Input parameters:

- `output_directory` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_adb_processes` (~65 tokens)

Input parameters:

- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_adb_directory` (~101 tokens)

Input parameters:

- `device_path` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_adb_features` (~49 tokens)

Input parameters:

- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_adb_services` (~43 tokens)

Input parameters:

- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_adb_display` (~61 tokens)

Input parameters:

- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_adb_window` (~88 tokens)

Input parameters:

- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `read_adb_setting` (~87 tokens)

Input parameters:

- `key` (string, required)
- `namespace` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `collect_adb_bugreport` (~107 tokens)

Input parameters:

- `output_directory` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `resolve_adb_packages` (~106 tokens)

Input parameters:

- `query` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `install_adb_package` (~147 tokens)

Input parameters:

- `apk_path` (string, required)
- `replace` (boolean)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `uninstall_adb_package` (~74 tokens)

Input parameters:

- `package` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `start_adb_app` (~122 tokens)

Input parameters:

- `package` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `start_adb_activity` (~150 tokens)

Input parameters:

- `action` (string, required)
- `component` (string)
- `data_uri` (string)
- `extras` (array)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `stop_adb_app` (~77 tokens)

Input parameters:

- `package` (string, required)
- `serial` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_pcap_client` (~74 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_pcap_capture` (~205 tokens)

Input parameters:

- `detail` (string)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `identify_flutter_build` (~121 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_dart_aot` (~271 tokens)

Input parameters:

- `abi` (string)
- `detail` (string)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_apktool_client` (~61 tokens)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `decode_android_resources` (~162 tokens)

Input parameters:

- `include_strings` (boolean)
- `locale` (string)
- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `export_web_scripts` (~180 tokens)

Input parameters:

- `capture_path` (string, required)
- `output_directory` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_browser_targets` (~100 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_web_page` (~309 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `include_accessibility_text` (boolean)
- `include_console_text` (boolean)
- `include_disallowed_origin_hints` (boolean)
- `include_json_body_shapes` (boolean)
- `include_script_sources` (boolean)
- `include_storage_fingerprints` (boolean)
- `include_storage_keys` (boolean)
- `include_websocket_shapes` (boolean)
- `observation_ms` (integer)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `analyze_web_bundle` (~304 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `fetch_source_maps` (boolean)
- `include_accessibility_text` (boolean)
- `include_console_text` (boolean)
- `include_disallowed_origin_hints` (boolean)
- `include_json_body_shapes` (boolean)
- `include_script_sources` (boolean)
- `include_storage_fingerprints` (boolean)
- `include_storage_keys` (boolean)
- `include_websocket_shapes` (boolean)
- `observation_ms` (integer)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `observe_web_session` (~141 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `observation_ms` (integer)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `discover_webmcp_tools` (~138 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `observation_ms` (integer)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_web_captures` (~232 tokens)

Input parameters:

- `after` (object)
- `after_scenario` (object)
- `before` (object)
- `before_scenario` (object)
- `normalization` (object)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `capture_web_screenshot` (~163 tokens)

Input parameters:

- `allowed_origins` (array)
- `cdp_endpoint` (string, required)
- `output_path` (string)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_web_screenshots` (~78 tokens)

Input parameters:

- `after` (object, required)
- `before` (object, required)
- `channel_threshold` (integer)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `capture_browser_scenario` (~396 tokens)

Input parameters:

- `actions` (array, required)
- `browser` (required)
- `capture` (object)
- `environment` (object)
- `secrets` (array)
- `start_url` (object, required)
- `storage` (object)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_electron_fuses` (~142 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_electron_targets` (~67 tokens)

Input parameters:

- `cdp_endpoint` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `inspect_electron_page` (~146 tokens)

Input parameters:

- `cdp_endpoint` (string, required)
- `include_script_sources` (boolean)
- `observation_ms` (integer)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `analyze_javascript_application` (~468 tokens)

Input parameters:

- `analysis_timeout_ms` (integer)
- `detail` (string)
- `format` (string)
- `input_path` (string, required)
- `integrity_policy` (string)
- `max_heap_mb` (integer)
- `max_semantic_nodes` (integer)
- `max_semantic_nodes_per_file` (integer)
- `source_paths` (array)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `reconcile_javascript_runtime` (~118 tokens)

Input parameters:

- `runtime_observations` (array, required)
- `static_layers` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `capture_electron_scenario` (~247 tokens)

Input parameters:

- `actions` (array)
- `application_path` (string, required)
- `application_root` (string)
- `args` (array)
- `executable_path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_javascript_runtime_targets` (~66 tokens)

Input parameters:

- `inspector_endpoint` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `observe_javascript_runtime` (~177 tokens)

Input parameters:

- `inspector_endpoint` (string, required)
- `observation_ms` (integer)
- `runtime_kind` (string)
- `target_id` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_application_feature` (~100 tokens)

Input parameters:

- `application` (required)
- `direction` (string)
- `native_observations` (array)
- `seed` (required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `trace_javascript_semantics` (~75 tokens)

Input parameters:

- `application` (required)
- `query` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_application_versions` (~129 tokens)

Input parameters:

- `left` (required)
- `left_native_observations` (array)
- `right` (required)
- `right_native_observations` (array)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_source_to_bundle` (~99 tokens)

Input parameters:

- `application` (required)
- `reference` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_javascript_export_shapes` (~219 tokens)

Input parameters:

- `left` (required)
- `left_export_name` (string, required)
- `left_module_path` (string, required)
- `right` (required)
- `right_export_name` (string, required)
- `right_module_path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `build_reconstruction_obligation_ledger` (~116 tokens)

Input parameters:

- `evidence_bundle` (object, required)
- `manifest` (object, required)
- `reviewed_obligations` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `evaluate_reconstruction_coverage` (~89 tokens)

Input parameters:

- `boundary_id` (string, required)
- `coverage` (object, required)

Output parameters:

- `boundary_id`
- `evidence_ids`
- `reasons`
- `recommended_probes`
- `status`
- `summary`

### `project_android_application_graph` (~65 tokens)

Input parameters:

- `inventory_evidence` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `project_apple_application_graph` (~107 tokens)

Input parameters:

- `inventory_evidence` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `project_harmony_application_graph` (~112 tokens)

Input parameters:

- `inventory_evidence` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `open_binary` (~323 tokens)

Input parameters:

- `architecture` (string)
- `entry_point` (string)
- `format` (string)
- `path` (string, required)
- `provider_id`
- `snapshot_path` (string)

Output parameters:

- `result`

### `close_binary` (~139 tokens)

Input parameters:

- `overwrite` (boolean)
- `snapshot_path` (string)

Output parameters:

- `result`

### `binary_session` (~96 tokens)

Input parameters:

- `expected_catalog_digest` (string)
- `expected_package_version` (string)
- `expected_server_path` (string)

Output parameters:

- `result`

### `export_evidence_bundle` (~77 tokens)

Input parameters:

- `overwrite` (boolean)
- `path` (string, required)

Output parameters:

- `result`

### `import_evidence_bundle` (~66 tokens)

Input parameters:

- `path` (string, required)

Output parameters:

- `result`

### `get_evidence_bundle` (~115 tokens)

Input parameters:

- `detail` (string)
- `filters` (object)

Output parameters:

- `result`

### `capture_process_scenario` (~436 tokens)

Input parameters:

- `arguments` (array)
- `environment` (object)
- `events` (array)
- `executable` (string, required)
- `filesystem_observation_paths` (array)
- `finalization_ms` (integer)
- `idle_timeout_ms` (integer)
- `limits` (object)
- `normalization` (object)
- `settle_ms` (integer)
- `terminal` (object)
- `timeout_ms` (integer)
- `working_directory` (string)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_process_captures` (~137 tokens)

Input parameters:

- `left` (object, required)
- `max_capture_age_ms` (integer)
- `right` (object, required)
- `trace_spec` (object)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_artifacts` (~133 tokens)

Input parameters:

- `left` (object, required)
- `right` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_functions` (~86 tokens)

Input parameters:

- `left` (object, required)
- `right` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `compare_bundles` (~97 tokens)

Input parameters:

- `left_bundle_path` (string, required)
- `record_pairs` (array)
- `right_bundle_path` (string, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `find_changed_behavior` (~57 tokens)

Input parameters:

- `comparisons` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `build_call_path` (~65 tokens)

Input parameters:

- `functions` (array, required)
- `goal` (object, required)
- `start` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `correlate_static_and_runtime` (~90 tokens)

Input parameters:

- `mappings` (array, required)
- `runtime_comparisons` (array, required)
- `static_comparisons` (array, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `verify_reconstruction` (~59 tokens)

Input parameters:

- `specification` (object, required)

Output parameters:

- `analysis_profile`
- `authority`
- `confidence`
- `environment`
- `evidence_id`
- `evidence_links`
- `limitations`
- `locations`
- `normalized_result`
- `operation`
- `parameters`
- `predicate_type`
- `provider`
- `raw_result`
- `relationship_coverage`
- `subject`

### `list_unknowns` (~152 tokens)

Input parameters:

- `domain` (string)
- `limit` (integer)
- `offset` (integer)
- `severity` (string)
- `status` (string)

Output parameters:

- `result`

### `record_unknown` (~145 tokens)

Input parameters:

- `comparison_conclusion_scope` (object)
- `contradicting_evidence_ids` (array)
- `domain` (string, required)
- `question` (string, required)
- `recommended_probes` (array, required)
- `relationships` (array, required)
- `required_authority` (required)
- `required_confidence` (string, required)
- `required_environment` (required)
- `severity` (string, required)
- `supporting_evidence_ids` (array)

Output parameters:

- `result`

### `update_unknown` (~163 tokens)

Input parameters:

- `contradicting_evidence_ids` (array, required)
- `expected_revision` (integer, required)
- `recommended_probes` (array, required)
- `relationships` (array, required)
- `required_authority` (required)
- `required_confidence` (string, required)
- `required_environment` (required)
- `resolution` (required)
- `severity` (string, required)
- `status` (string, required)
- `supporting_evidence_ids` (array, required)
- `unknown_id` (string, required)

Output parameters:

- `result`

### `verify_unknown_resolution` (~59 tokens)

Input parameters:

- `unknown_id` (string, required)

Output parameters:

- `result`

### `get_navigation_context` (~63 tokens)

Input parameters:

- `document` (string)

Output parameters:

- `result`

### `inspect_address_context` (~75 tokens)

Input parameters:

- `address` (string, required)
- `document` (string)

Output parameters:

- `result`

## Diagnostics

Captured diagnostic sections: Provenance, Dependencies. The full working is on the page: https://verifymcp.io/servers/alessiolucini-binsight/binsight#diagnostics

## Score history

- 2026-10-18: 54
- 2026-10-17: 28

## Common questions

### What is the BinSight MCP server?

BinSight is an MCP server listed in the public MCP registry as io.github.Alessiolucini/binsight. The AI X-ray for any file: what is it, what does it hide, what changed. Built on REA. This page covers its npm package (binsight).

### Is the BinSight MCP server safe to use?

BinSight scores 54 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 18 October 2026. It declares no install or post-install scripts. Its build provenance is signed and verified. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

### Is the BinSight MCP server still maintained?

BinSight is still listed as active in the MCP registry. We last reached this channel on 18 October 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

### What licence is the BinSight MCP server under?

BinSight declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.

## Links

- npm package: https://www.npmjs.com/package/binsight
- Socket report: https://socket.dev/npm/package/binsight
- Repository: https://github.com/Alessiolucini/binsight
- Changelog RSS feed: https://verifymcp.io/servers/alessiolucini-binsight/binsight.xml
- Changelog JSON feed: https://verifymcp.io/servers/alessiolucini-binsight/binsight.json
- HTML version of this page: https://verifymcp.io/servers/alessiolucini-binsight/binsight