What problem does it solve?
Struere focuses on the integrity of per-function design by flagging hidden mutations, misleading signatures, and abstractions that leak infrastructure into function boundaries, ensuring that a function's behavior remains observable through its inputs and outputs.
Core Features & Use Cases
- Per-function contract validation: detects mutation, side effects, and non-obvious state changes that violate the function's public contract.
- Honest abstractions: enforces that a function's signature communicates its intent and limits exposure of internal details.
- Appropriate level engineering: assists code reviews, API design, and refactoring to maintain composability and predictability.
Quick Start
Analyze a sample function by providing its code and usage context to receive feedback on mutability, clarity, and boundary cleanliness.