rea-agents
Preparing search index...
contracts/electronToolContracts
ELECTRON_TOOL_CONTRACTS
Variable ELECTRON_TOOL_CONTRACTS
Const
ELECTRON_TOOL_CONTRACTS
:
readonly
[
{
annotations
:
DerivedToolAnnotations
;
description
:
"List Electron file:// page targets from an approved user-owned loopback CDP endpoint. Every path is canonicalized and must remain contained by an approved filesystem root, including after symlink resolution."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
allowed_file_roots
:
[
"/Applications/Example.app/Contents/Resources"
]
;
approved
:
true
;
cdp_endpoint
:
"http://127.0.0.1:9223"
;
limit
:
100
;
offset
:
0
;
}
;
title
:
"List approved Electron file pages"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
allowed_file_roots
:
ZodPipe
<
ZodArray
<
ZodString
>
,
ZodTransform
<
string
[]
,
string
[]
>
,
>
;
approved
:
ZodLiteral
<
true
>
;
cdp_endpoint
:
ZodPipe
<
ZodString
,
ZodTransform
<
string
,
string
>
>
;
limit
:
ZodDefault
<
ZodNumber
>
;
offset
:
ZodDefault
<
ZodNumber
>
;
}
,
$strip
,
>
;
kind
:
"electron-provider"
;
name
:
"list_electron_targets"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
{
annotations
:
DerivedToolAnnotations
;
description
:
"Passively inspect one approved Electron file page through CDP. Returns root-confined frames, DOM structure, resource paths, and scripts without evaluating renderer JavaScript or invoking Electron APIs; script contents require separate approval."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
allowed_file_roots
:
[
"/Applications/Example.app/Contents/Resources"
]
;
approved
:
true
;
cdp_endpoint
:
"http://127.0.0.1:9223"
;
include_script_sources
:
false
;
limits
:
{
max_dom_nodes
:
2000
;
max_frames
:
200
;
max_resources
:
2000
;
max_script_source_bytes
:
1048576
;
max_scripts
:
500
;
max_total_script_source_bytes
:
4194304
;
max_workers
:
500
;
}
;
observation_ms
:
100
;
source_capture_approved
:
false
;
target_id
:
"TARGET_ID_FROM_LIST_ELECTRON_TARGETS"
;
}
;
title
:
"Inspect an approved Electron page"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
allowed_file_roots
:
ZodPipe
<
ZodArray
<
ZodString
>
,
ZodTransform
<
string
[]
,
string
[]
>
,
>
;
approved
:
ZodLiteral
<
true
>
;
cdp_endpoint
:
ZodPipe
<
ZodString
,
ZodTransform
<
string
,
string
>
>
;
include_script_sources
:
ZodDefault
<
ZodBoolean
>
;
limits
:
ZodDefault
<
ZodObject
<
{
max_dom_nodes
:
ZodDefault
<
ZodNumber
>
;
max_frames
:
ZodDefault
<
ZodNumber
>
;
max_resources
:
ZodDefault
<
ZodNumber
>
;
max_script_source_bytes
:
ZodDefault
<
ZodNumber
>
;
max_scripts
:
ZodDefault
<
ZodNumber
>
;
max_total_script_source_bytes
:
ZodDefault
<
ZodNumber
>
;
max_workers
:
ZodDefault
<
ZodNumber
>
;
}
,
$strip
,
>
,
>
;
observation_ms
:
ZodDefault
<
ZodNumber
>
;
source_capture_approved
:
ZodDefault
<
ZodBoolean
>
;
target_id
:
ZodString
;
}
,
$strip
,
>
;
kind
:
"electron-provider"
;
name
:
"inspect_electron_page"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
{
annotations
:
DerivedToolAnnotations
;
description
:
"Statically reconstruct one approved local ASAR or extracted JavaScript application without executing it. The default summary returns architecture/security counts, top evidence-backed findings, unknowns, and paged graph resource URIs; request detail=full only when the complete graph must be returned immediately. Identical inputs are deterministic, so do not repeat the call or reread full Evidence without a specific missing detail."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
approved
:
true
;
detail
:
"summary"
;
format
:
"auto"
;
input_path
:
"/Applications/Example.app/Contents/Resources/app.asar"
;
source_map_read_approved
:
false
;
}
;
title
:
"Analyze one approved local Electron application"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
approved
:
ZodLiteral
<
true
>
;
detail
:
ZodDefault
<
ZodEnum
<
{
full
:
"full"
;
summary
:
"summary"
}
>
>
;
format
:
ZodDefault
<
ZodEnum
<
{
asar
:
"asar"
;
auto
:
"auto"
;
directory
:
"directory"
}
>
,
>
;
input_path
:
ZodString
;
limits
:
ZodDefault
<
ZodObject
<
{
max_artifact_entry_bytes
:
ZodDefault
<
ZodNumber
>
;
max_ast_nodes
:
ZodDefault
<
ZodNumber
>
;
max_compression_ratio
:
ZodDefault
<
ZodNumber
>
;
max_depth
:
ZodDefault
<
ZodNumber
>
;
max_entries
:
ZodDefault
<
ZodNumber
>
;
max_findings
:
ZodDefault
<
ZodNumber
>
;
max_modules
:
ZodDefault
<
ZodNumber
>
;
max_parse_milliseconds
:
ZodDefault
<
ZodNumber
>
;
max_path_bytes
:
ZodDefault
<
ZodNumber
>
;
max_source_map_sources
:
ZodDefault
<
ZodNumber
>
;
max_text_file_bytes
:
ZodDefault
<
ZodNumber
>
;
max_text_files
:
ZodDefault
<
ZodNumber
>
;
max_total_artifact_bytes
:
ZodDefault
<
ZodNumber
>
;
max_total_text_bytes
:
ZodDefault
<
ZodNumber
>
;
}
,
$strict
,
>
,
>
;
source_map_read_approved
:
ZodDefault
<
ZodBoolean
>
;
}
,
$strict
,
>
;
kind
:
"electron-provider"
;
name
:
"analyze_javascript_application"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
{
annotations
:
DerivedToolAnnotations
;
description
:
"Reconcile verified static JavaScript application graphs with existing passive web or Electron CDP Evidence. Exact captured-source digests take priority over caller-declared file/URL mappings; target, frame, script, and worker ambiguity remains explicit, and source-map authority stays separate."
;
effects
:
ToolEffects
;
examples
:
readonly
[
{
input
:
{
runtime_observations
:
(
|
{
analysis_profile
:
{
digest
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
string
}
;
provider_profile_schema_version
:
number
;
schema_version
:
1
;
}
;
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
string
;
id
:
string
;
isolation
:
(...)
|
(...)
|
(...)
|
(...)
;
platform
:
string
;
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
(
|
{
address
:
...
;
kind
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
|
{
kind
:
...
;
path
:
...
}
|
{
kind
:
...
;
offset
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
)
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
string
|
null
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
digest
:
{
sha256
:
...
}
;
format
:
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
local_path
:
string
;
name
:
string
;
}
|
null
;
}
|
{
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
string
;
id
:
string
;
isolation
:
(...)
|
(...)
|
(...)
|
(...)
;
platform
:
string
;
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
(
|
{
address
:
...
;
kind
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
|
{
kind
:
...
;
path
:
...
}
|
{
kind
:
...
;
offset
:
...
}
|
{
end
:
...
;
kind
:
...
;
start
:
...
}
)
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
string
|
null
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
digest
:
{
sha256
:
...
}
;
format
:
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
|
(...)
;
local_path
:
string
;
name
:
string
;
}
|
null
;
}
)
[]
;
static_layers
:
{
analysis
:
|
{
analysis_profile
:
{
digest
:
string
;
parameters
:
Record
<
(...)
,
(...)
>
;
provider
:
{
id
:
...
;
name
:
...
;
version
:
...
}
;
provider_profile_schema_version
:
number
;
schema_version
:
1
;
}
;
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
...
;
id
:
...
;
isolation
:
...
;
platform
:
...
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
((...)
|
(...)
|
(...)
|
(...)
|
(...))
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
(...)
|
(...)
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
...
;
digest
:
...
;
format
:
...
;
local_path
:
...
;
name
:
...
;
}
|
null
;
}
|
{
authority
:
|
"shipped-artifact"
|
"controlled-replay"
|
"historical-reference"
|
"external-service"
|
"analyst-inference"
;
confidence
:
"observed"
|
"derived"
|
"inferred"
;
environment
:
|
{
architecture
:
...
;
id
:
...
;
isolation
:
...
;
platform
:
...
}
|
null
;
evidence_id
:
string
;
evidence_links
:
string
[]
;
limitations
:
string
[]
;
locations
:
((...)
|
(...)
|
(...)
|
(...)
|
(...))
[]
;
normalized_result
:
JSONType
;
operation
:
string
;
parameters
:
Record
<
string
,
JSONType
>
;
predicate_type
:
string
;
provider
:
{
id
:
string
;
name
:
string
;
version
:
(...)
|
(...)
}
;
raw_result
:
JSONType
;
schema_version
:
2
;
subject
:
|
{
architecture
:
...
;
digest
:
...
;
format
:
...
;
local_path
:
...
;
name
:
...
;
}
|
null
;
}
;
role
:
string
;
}
[]
;
}
;
title
:
"Reconcile one passive Electron capture"
;
}
,
]
;
inputSchema
:
ZodObject
<
{
limits
:
ZodDefault
<
ZodObject
<
{
max_reconciliation_items
:
ZodDefault
<
ZodNumber
>
;
max_runtime_entities
:
ZodDefault
<
ZodNumber
>
;
max_static_load_states
:
ZodDefault
<
ZodNumber
>
;
}
,
$strict
,
>
,
>
;
runtime_observations
:
ZodArray
<
ZodObject
<
{
analysis_profile
:
ZodOptional
<
ZodObject
<
{
digest
:
ZodString
;
parameters
:
ZodRecord
<
(...)
,
(...)
>
;
provider
:
ZodObject
<
(...)
,
(...)
>
;
provider_profile_schema_version
:
ZodNumber
;
schema_version
:
ZodLiteral
<
(...)
>
;
}
,
$strip
,
>
,
>
;
authority
:
ZodEnum
<
{
"analyst-inference"
:
"analyst-inference"
;
"controlled-replay"
:
"controlled-replay"
;
"external-service"
:
"external-service"
;
"historical-reference"
:
"historical-reference"
;
"shipped-artifact"
:
"shipped-artifact"
;
}
,
>
;
confidence
:
ZodEnum
<
{
derived
:
"derived"
;
inferred
:
"inferred"
;
observed
:
"observed"
;
}
,
>
;
environment
:
ZodNullable
<
ZodObject
<
{
architecture
:
ZodString
;
id
:
ZodString
;
isolation
:
ZodEnum
<
(...)
>
;
platform
:
ZodString
;
}
,
$strip
,
>
,
>
;
evidence_id
:
ZodString
;
evidence_links
:
ZodArray
<
ZodString
>
;
limitations
:
ZodArray
<
ZodString
>
;
locations
:
ZodArray
<
ZodDiscriminatedUnion
<
[
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
ZodObject
<
(...)
,
(...)
>
,
]
,
"kind"
,
>
,
>
;
normalized_result
:
ZodJSONSchema
;
operation
:
ZodString
;
parameters
:
ZodRecord
<
ZodString
,
ZodJSONSchema
>
;
predicate_type
:
ZodString
;
provider
:
ZodObject
<
{
id
:
ZodString
;
name
:
ZodString
;
version
:
ZodNullable
<
ZodString
>
;
}
,
$strip
,
>
;
raw_result
:
ZodNullable
<
ZodJSONSchema
>
;
schema_version
:
ZodLiteral
<
2
>
;
subject
:
ZodNullable
<
ZodObject
<
{
architecture
:
ZodNullable
<
(...)
>
;
digest
:
ZodObject
<
(...)
,
(...)
>
;
format
:
ZodEnum
<
(...)
>
;
local_path
:
ZodString
;
name
:
ZodString
;
}
,
$strip
,
>
,
>
;
}
,
$strict
,
>
,
>
;
static_layers
:
ZodArray
<
ZodObject
<
{
analysis
:
ZodObject
<
{
analysis_profile
:
ZodOptional
<
ZodObject
<
(...)
,
(...)
>
>
;
authority
:
ZodEnum
<
{
"analyst-inference"
:
...
;
"controlled-replay"
:
...
;
"external-service"
:
...
;
"historical-reference"
:
...
;
"shipped-artifact"
:
...
;
}
,
>
;
confidence
:
ZodEnum
<
{
derived
:
...
;
inferred
:
...
;
observed
:
...
}
>
;
environment
:
ZodNullable
<
ZodObject
<
(...)
,
(...)
>
>
;
evidence_id
:
ZodString
;
evidence_links
:
ZodArray
<
ZodString
>
;
limitations
:
ZodArray
<
ZodString
>
;
locations
:
ZodArray
<
ZodDiscriminatedUnion
<
(...)
,
(...)
>
>
;
normalized_result
:
ZodJSONSchema
;
operation
:
ZodString
;
parameters
:
ZodRecord
<
ZodString
,
ZodJSONSchema
>
;
predicate_type
:
ZodString
;
provider
:
ZodObject
<
{
id
:
...
;
name
:
...
;
version
:
...
}
,
$strip
>
;
raw_result
:
ZodNullable
<
ZodJSONSchema
>
;
schema_version
:
ZodLiteral
<
2
>
;
subject
:
ZodNullable
<
ZodObject
<
(...)
,
(...)
>
>
;
}
,
$strict
,
>
;
role
:
ZodEnum
<
{
application
:
"application"
;
assets
:
"assets"
;
cache
:
"cache"
}
,
>
;
runtime_mappings
:
ZodDefault
<
ZodArray
<
ZodDiscriminatedUnion
<
[
(...)
,
(...)
]
,
"kind"
>
>
,
>
;
}
,
$strict
,
>
,
>
;
}
,
$strict
,
>
;
kind
:
"electron-provider"
;
name
:
"reconcile_javascript_runtime"
;
outputSchema
:
ZodObject
<
{
evidence_id
:
ZodString
;
evidence_uri
:
ZodString
;
result
:
ZodType
<
unknown
,
unknown
,
$ZodTypeInternals
<
unknown
,
unknown
>
>
;
}
,
$strict
,
>
;
title
:
string
;
}
,
]
= ...
Root-confined Electron file-page discovery and inspection contracts.
Settings
Member Visibility
Protected
Inherited
Theme
OS
Light
Dark
rea-agents
Loading...
Root-confined Electron file-page discovery and inspection contracts.