Quality

Red Team helps you assess code, auth, APIs, and infrastructure you are authorized to test. It models attacker paths and keeps only findings with a reproducible exploit and verified mitigation.

Review SPD finds bugs, regressions, and behavior risks in changed code for AI coding agents. Use it when reviewing uncommitted changes, commit ranges, or a branch diff with a mainline base.

Scientific Method ranks competing falsifiable causes for a symptom and runs the cheapest observation that best separates them. Use it to localize bugs, incidents, or anomalies before fixing.

Author Model Advisor Checks creates or upgrades Simulink and System Composer checks for modeling rules, guidelines, and qualification tests. Use it when you need a new check, to modernize legacy checks, or to validate a custom rule implementation.

Checking Model Compliance runs Model Advisor checks for a named standard and summarizes compliance findings with fix suggestions. Use it when you need a report for standards like MISRA, JMAAB, ISO, DO, IEC, EN, CERT C/CWE, AUTOSAR, or SLCI.

Fault Injection adds and configures faults on Simulink, Simscape, and System Composer signal ports for robustness and safety validation. Use it to simulate stuck, noise, gain, or offset failures and test fault effects.

Resolve Design Errors uses Simulink Design Verifier defect checking and root-cause analysis to find division-by-zero, overflow, dead logic, and out-of-bounds issues in Simulink models. Use it to diagnose findings and assess dead logic that blocks coverage objectives.

Safety Analysis Manager creates, populates, and reviews safety analysis spreadsheets and fault trees in MATLAB. Use it for FMEA, FHA, HARA, HAZOP, FTA, and related Safety Analysis Manager documents.

Testing Simulink Models writes ephemeral Gherkin tests or persistent Simulink Test cases to validate model behavior, requirements, and regressions. Use it for pass/fail checks, coverage, and requirement-linked verification.

Gstack Cso guides security reviews of OPC code using OWASP and STRIDE lenses. Use it to inspect Electron IPC, local bridges, secrets, plugins, command execution, and file access.

Gstack Investigate guides systematic debugging for bugs, crashes, regressions, flaky behavior, and provider issues. It emphasizes reproduction, evidence, and the smallest fix before verification.

GStack QA Only produces read-only QA reports for an OPC desktop flow, CLI command, local URL, staging URL, or documented user journey. It tests behavior, captures evidence, and does not modify code.