Create implementation plans optimized for Cursor Composer 2 execution. Use when the user wants Codex to inspect a repo and produce a handoff plan for Cursor/Composer.
Guide Codex through modality-ts model-checking work for React and TypeScript apps. Use when Codex needs to decide whether modality-ts fits a state-transition bug, initialize or run the modality CLI, create *.props.ts target-registration files, generate typed *.modals.ts handles, write or debug properties with modality-ts/properties, model async effects and finite domains, read model/check/extraction reports and trust ledgers, replay counterexamples, tune search limits, refine models with config or overlays, configure CI/conformance/TLA export, or work with supported sources such as useState, Jotai, SWR, Zustand, TanStack Query, Redux, React Router, TanStack Router, Next.js, timers, effects, WebSockets, Suspense, and static Zod/ArkType numeric refinements.