What is UVL?
UVL stands for Universal Variability Language, a language for writing feature models.
UVL Analyzer MCP Server
@lbdudc
Basic information
About UVL Analyzer MCP Server
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 a
#feature-model#uvl#model-driven-engineering
UVL Analyzer MCP Server config
Add this server to your MCP-compatible client using the configuration below.
{
"mcpServers": {
"fm-analyzer": {
"command": "npx",
"args": [
"-y",
"@lbdudc/mcp-uvl-analyzer"
]
}
}
}UVL Analyzer MCP Server tools
Tool list not available yet
This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.
Fetch the live tool list by running this server in a temporary sandbox using the button above.
Overview
What is UVL Analyzer MCP?
The UVL Analyzer MCP is a Model Context Protocol (MCP) server that analyzes feature models written in the Universal Variability Language (UVL). It provides tools to extract insights such as atomic sets, commonality, dead features, and valid configurations.
How to use UVL Analyzer MCP?
Add the server configuration to your claude_desktop_config.json using either Docker or npx. The Docker command runs the image mcp/uvlanalyzer; the npx command uses the package @lbdudc/mcp-uvl-analyzer.
Key features of UVL Analyzer MCP
- Identifies atomic sets, core features, and dead features
- Calculates average branching factor and commonality
- Generates all valid configurations and their count
- Counts leaf features and estimates configuration count
- Detects false optional features and checks satisfiability
- Filters configurations and finds feature ancestors
Use cases of UVL Analyzer MCP
- Analyze the complexity of a feature model using average branching factor and max depth
- Identify mandatory and dead features for product-line documentation
- Generate the complete set of valid product configurations
- Validate a feature model’s consistency with satisfiability checks
- Optimize feature models by detecting atomic sets and false optionals
Frequently asked questions
How do I install UVL Analyzer MCP?
You can run it via Docker with the image `mcp/uvlanalyzer` or via npx with the package `@lbdudc/mcp-uvl-analyzer`.
What analysis tools does it offer?
It provides tools for atomic sets, branching factor, commonality, configuration generation, core and dead features, leaf counts, satisfiability, filtering, and more.
How do I configure it with Claude Desktop?
Add the appropriate JSON block under `mcpServers` in your `claude_desktop_config.json` (either the Docker or npx variant shown in the README).
What license does UVL Analyzer MCP use?
It is licensed under the MIT License, allowing free use, modification, and distribution.
More Other MCP servers
Codelf
unbugA search tool helps dev to solve the naming things problem.
14.2K
Yuppsy
Yuppsy MCP: build and publish real estate websites from your AI assistant. Yuppsy lets your AI assistant create live websites for real estate agents and individual property listings. You don't need a designer or any code
P
PickFu MCP
PickFu MCP is a Model Context Protocol (MCP) server that connects AI assistants, developers, marketers, product managers, and AI agents to PickFu's consumer research platform. It enables users to create surveys, conduct
N
Next Generation Movers: free moving quotes (remote MCP)
Next Generation MoversFree moving quotes for AI agents from Next Generation Movers, a licensed interstate mover (USDOT 3764697). US long-distance nationwide and local DC/MD/VA. Indicative ballpark price and booking options; optional $0.01 x40
ICSS
chokcoco不止于 CSS
20.7K
Comments