examine a given development story and decide if it has security value that warrants inclusion in a threat model

Use when working with LineageOS custom ROM development, including syncing sources, building, device trees, repopick,...

Use when working with Android devices via ADB - connecting devices, running shell commands, installing apps,...

Use for fastboot operations, flashing partitions, bootloader unlocking, recovery mode, or partition management....

Use when building Android apps (Gradle CLI) or ROMs (AOSP, LineageOS). Triggers on "gradle build", "assemble",...

Check correctness against tests, specs, or invariants; produce pass/fail evidence. Use when validating changes,...

Define how state changes over time through rules, triggers, and effects. Use when modeling state machines, defining...

Convert data between formats, schemas, or representations with explicit loss accounting and validation. Use when...

Merge outputs from multiple sources, resolve conflicts, and reconcile constraints into a unified result. Use when...