AI Agent Skills

[omh] Application threat model workflow: turn a system's components and data flows into assets, trust boundaries, attack scenarios, controls, and the security test that…

Run scoped or final cross-media consistency checks for mathematical-modeling artifacts, comparing canonical numbers, symbols, parameters, decisions, files, and paper cla…

Owns data understanding BEFORE any model is designed. Places and executes `data/eda.py` (a jupytext `# %%` script) via the shared in-process runner, reads the streamed d…

Run an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps. Use for i…