Installs into .claude/skills of the current project.
Are you the author of Behavior Preserving Simplification?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/majiayu000-behavior-preserving-simplification)
---
name: behavior-preserving-simplification
description: "Run behavior preserving simplification."
---
# behavior-preserving-simplification (Codex)
Codex-native entry point for the `behavior-preserving-simplification` operator skill.
The AgentOps source skill `../../skills/behavior-preserving-simplification/SKILL.md` is the source of truth
for domain behavior, commands, examples, references, and output expectations.
Read it first, then use `prompt.md` for the Codex runtime profile.
## Codex Runtime Contract
- Use Codex plus the local shell. Use Codex and the local shell as the executor; avoid non-Codex runtime shells.
- Load only the relevant source references or scripts for the task.
- Prefer structured command surfaces when the source skill exposes them.
- Verify command syntax from local `--help` or checked-in references before acting.
- Return concrete evidence: commands run, files touched, exit codes, and any remaining blocker.
