# Frontlinesystems Rason MCP server

Source: https://glimind.com/server/mcp-registry%2Fio.github.frontlinesystems%2Frason-mcp-server
Registry id: `mcp-registry/io.github.frontlinesystems/rason-mcp-server`
Status: unknown

## Install

```json
{
  "mcpServers": {
    "frontlinesystems-rason-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@frontlinesystems/rason-mcp-server"
      ]
    }
  }
}
```

Claude Code:

```sh
claude mcp add frontlinesystems-rason-mcp-server -- npx -y @frontlinesystems/rason-mcp-server
```

## Tools (7)

- `analyze_model`: Analyze the structure and type of a given RASON model.
- `create_model`: Create a new RASON model from a template or specification.
- `get_example`: Retrieve a specific example model by its name or ID.
- `get_solve_results`: Retrieve the results of a completed solve job.
- `poll_solve_status`: Poll the status of a previously submitted solve job.
- `search_examples`: Search the library of nearly 200 example RASON models by keyword or category.
- `solve_model`: Submit a RASON model for solving and return results.

Measured by Glimind (https://glimind.com): MCP handshake + tool list only, no tool is ever called. CC BY 4.0.