UVL Analyzer MCP

Example Use Cases

• 1

  Analyze UVL feature models to enumerate valid product configurations and estimate configuration counts.

• 2

  Detect modeling issues such as dead features, false optional features, and core features to improve model quality.

• 3

  Compute metrics (average branching factor, max depth, leaf counts) and extract structural information (atomic sets, ancestors) for variability management.

Description

The UVL Analyzer MCP processes feature models written in UVL and provides tools to identify atomic sets, core and dead features, leaf counts, branching factors, and to generate or estimate valid configurations. It includes checks for satisfiability, feature ancestry, false optional features, and filtering of configurations. The server is packaged for use via Docker or NPX and is distributed under the MIT License, making it easy to integrate into tooling like Claude Desktop for automated variability analysis.

Capabilities(15 total)