Research prototype with solid docs and examples, but opaque setup and rougher-than-it-should-be onboarding will slow newcomers down.

Clear what USE does (UML/OCL model validation), but the research-prototype disclaimer and missing homepage limit credibility.

Installation instructions exist but are vague, and the example walkthrough requires multiple manual steps with insufficient error guidance.

The tool delivers its core promise (model validation with OCL) via clear examples, but reaching the payoff requires getting past opaque setup.

Extensive manual with screenshots, test files referenced, and academic references present; but no visible test suite, no recent release notes, and unclear maintenance status.

Documentation gaps, path assumptions, and a vague system-requirements list create small but cumulative papercuts.

CI/CD workflows present and recent commit timestamp, but research-grade maintenance signals and 30 unresolved issues suggest limited active support.