UVL Analyzer MCP

The UVL Analyzer MCP is a Model Context Protocol (MCP) server designed to analyze feature models written in the Universal Variability Language (UVL). It provides a variety of tools to process and extract insights from feature models, such as identifying atomic sets, calculating average branching factors, and more.

Features

This MCP supports the following operations:

1. Atomic Sets
   Identifies atomic sets in a feature model. An atomic set is a group of features that always appear together across all configurations of the model.

2. Average Branching Factor
   Calculates the average number of child features per parent feature in the feature model, providing insight into the model's complexity.

3. Commonality
   Measures how often a feature appears in the configurations of a product line, usually expressed as a percentage.

4. Configurations
   Generates all possible valid configurations of a feature model. Each configuration represents a valid product derivable from the model.

5. Configurations Number
   Returns the total number of valid configurations represented by the feature model.

6. Core Features
   Identifies features that are present in all valid configurations of the feature model (mandatory features).

7. Count Leafs
   Counts the number of leaf features in a feature model. Leaf features are those without any children.

8. Dead Features
   Identifies features that cannot be included in any valid product configuration due to constraints and dependencies in the model.

9. Estimated Number of Configurations
   Provides an estimate of the total number of different configurations that can be produced from a feature model.

10. False Optional Features
    Identifies features that appear optional but must be included in every valid product configuration due to constraints.

11. Feature Ancestors
    Identifies all ancestor features of a given feature in the feature model.

12. Filter
    Filters and selects a subset of configurations based on specified criteria.

13. Leaf Features
    Identifies all leaf features in the feature model.

14. Max Depth
    Finds the maximum depth of the feature tree in the model, indicating the longest path from the root to a leaf.

15. Satisfiability
    Checks whether a given model is valid according to the constraints defined in the feature model.

Usage with Claude Desktop

To use this with Claude Desktop, add the following to your claude_desktop_config.json:

Docker

{
  "mcpServers": {
    "uvl_analyzer": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "mcp/uvlanalyzer"
      ]
    }
  }
}

NPX

{
  "mcpServers": {
    "uvl-analyzer": {
      "command": "npx",
      "args": [
        "-y",
        "@lbdudc/mcp-uvl-analyzer",
      ],
    }
  }
}

Build

Docker build:

docker build -t mcp/uvlanalyzer .

License

This MCP server is licensed under the MIT License. This means you are free to use, modify, and distribute the software, subject to the terms and conditions of the MIT License. For more details, please see the LICENSE file in the project repository.