Skill UI

Verifies UK case-law citations, pinpoint references and quotations against the official public register (The National Archives' Find Case Law) and statutory references against legislation.gov.uk. Returns graded verdicts: VERIFIED, MISMATCH, NOT ON REGISTER, OUTSIDE COVERAGE, or UNCHECKABLE. Use when checking citations, confirming quotations, auditing drafts, or screening documents for hallucinated cases.

This skill assists in constructing or auditing formal models for the Journal of Systems Engineering. It ensures consistency among system boundaries, variables, constraints, objectives, and information structures. It guides users to define actors, timing, and assumptions rigorously, checking for identifiability and solvability before submission.

Skill for designing and auditing theoretical results (propositions, theorems, equilibria, stability) for the Journal of Systems Engineering, ensuring formal results explain system mechanisms rather than merely containing formulas.

This expert conducts comprehensive audits to ensure digital products comply with WCAG standards. It specializes in identifying accessibility barriers, testing user experiences for users with disabilities, and providing step-by-step remediation guidance. Use it for auditing web or mobile platforms, establishing compliance, and improving overall inclusivity.

This skill diffs a live web page's accessibility violations against a specified baseline. It can compare changes against uncommitted local stashes or a specific Git branch. The report focuses exclusively on changes, highlighting new violations introduced, violations that have been fixed, and the count of pre-existing issues. Ideal for CI/CD pipelines and development auditing.

Performs static security analysis on GitHub Actions workflows that incorporate AI coding agents (e.g., Claude, Gemini, OpenAI). This skill helps identify critical data flow vulnerabilities, such as where attacker-controlled input can reach AI agent prompts or internal systems via CI/CD pipelines, going beyond simple expression checks.