Function registerInvestigationTools

registerInvestigationTools(
    server: McpServer,
    session: BinarySessionPort,
    contracts: readonly [
        ToolContract<"find_changed_behavior">,
        ToolContract<"build_call_path">,
        ToolContract<"correlate_static_and_runtime">,
        ToolContract<"verify_reconstruction">,
    ],
): void
Register Evidence-composed differential investigation workflows.
Parameters
- server: McpServer
- session: BinarySessionPort
- contracts: readonly [
      ToolContract<"find_changed_behavior">,
      ToolContract<"build_call_path">,
      ToolContract<"correlate_static_and_runtime">,
      ToolContract<"verify_reconstruction">,
  ]
Returns void
- Defined in src/server/registerInvestigationTools.ts:32