What problem does it solve? A spec can be internally consistent yet still hide design flaws: two elements a user treats the same way may behave differently, and no sentence in the spec ever groups them, so no proof pass can catch the divergence. This Skill reads a spec that has already passed formal verification and questions the design itself, surfacing undeclared same-kind groupings and behavioral divergences as recommendations or questions. ## Core Features & Use Cases - Similarity lens: Builds its own inventory of elements a person acts on, writes role sentences, proposes same-kind groups, and checks whether members behave alike. - Standing lenses: Runs motion-parity checks (entry mirrors exit, every object type and position behaves alike) and named-part checks (guarantees read across viewport bands, user states, locales) without waiting for matching role sentences. - Non-blocking findings: Every finding is a recommendation or a question with two concrete objects, a shared role, and a recommended default; it never blocks a landing. - Use Case: After the prover verifies a photo-gallery spec, run this Skill to catch that tapping a portrait opens it full-screen while the cover photo, used the same way, has no defined behavior. ## Quick Start Ask the agent to review the design of the proven spec, for example: "review the design of this spec and check whether similar elements behave the same."
