rea-agents
    Preparing search index...

    Variable GHIDRA_PROVIDER_TOOL_CONTRACTSConst

    GHIDRA_PROVIDER_TOOL_CONTRACTS: readonly (
        | ToolContract<"address_name">
        | ToolContract<"comment">
        | ToolContract<"current_address">
        | ToolContract<"current_procedure">
        | ToolContract<"current_document">
        | ToolContract<"goto_address">
        | ToolContract<"inline_comment">
        | ToolContract<"list_bookmarks">
        | ToolContract<"list_documents">
        | ToolContract<"list_names">
        | ToolContract<"list_procedures">
        | ToolContract<"list_segments">
        | ToolContract<"list_strings">
        | ToolContract<"next_address">
        | ToolContract<"prev_address">
        | ToolContract<"procedure_address">
        | ToolContract<"procedure_assembly">
        | ToolContract<"procedure_callees">
        | ToolContract<"procedure_callers">
        | ToolContract<"procedure_info">
        | ToolContract<"procedure_references">
        | ToolContract<"procedure_pseudo_code">
        | ToolContract<"resolve_containing_procedure">
        | ToolContract<"search_procedures">
        | ToolContract<"search_strings">
        | ToolContract<"set_address_name">
        | ToolContract<"set_addresses_names">
        | ToolContract<"set_bookmark">
        | ToolContract<"set_comment">
        | ToolContract<"set_current_document">
        | ToolContract<"set_inline_comment">
        | ToolContract<"unset_bookmark">
        | ToolContract<"xrefs">
        | ToolContract<"swift_classes">
        | ToolContract<"get_objc_classes">
        | ToolContract<"get_objc_protocols">
        | ToolContract<"batch_decompile">
        | ToolContract<"get_call_graph">
        | ToolContract<"analyze_swift_types">
        | ToolContract<"find_xrefs_to_name">
        | ToolContract<"binary_overview">
        | ToolContract<"analyze_function">
        | ToolContract<"trace_feature">
    )[] = ...

    Provider-neutral read-only contracts implemented by the Ghidra adapter.