windtrader-mcp

windtrader-mcp is a Python MCP server that wraps the Westfall-io/windtrader validator.

Its purpose is to let an LLM validate whether generated SysMLv2 text is actual valid syntax by invoking WindTrader from MCP tools.

What this server exposes

• validate_sysml_text(sysml_text, file_name="model.sysml")
  • Pipes SysMLv2 text to WindTrader over stdin.
  • Returns ok, exit_code, stdout, stderr, and command.
• validate_sysml_file(path)
  • Reads file content and validates by piping text over stdin.
• Resource: windtrader://about

WindTrader CLI contract used by this MCP server

The server invokes WindTrader in its documented argparse shape (flags only), for example:

windtrader --timeout 30

and sends SysML text on stdin.

Install

python -m venv .venv
source .venv/bin/activate
pip install -U pip
pip install -e .

Install WindTrader CLI separately (required at runtime):

pip install git+https://github.com/Westfall-io/windtrader.git

If the executable is not named windtrader, set:

export WINDTRADER_CMD=/path/to/windtrader

Run server

windtrader-mcp

Build and publish to PyPI

python -m pip install --upgrade build twine
python -m build
python -m twine check dist/*
python -m twine upload dist/*

Example MCP client config

{
  "mcpServers": {
    "windtrader": {
      "command": "windtrader-mcp"
    }
  }
}