INDIVIDUAL MCP TOOL

validate_spec

Validate a ModelSpec WITHOUT creating it: returns a 'valid' flag plus structured findings (errors + warnings, each with a location and message).

valem.runnone authenticationAvailability not checked

LIVE ENDPOINT

https://valem.run/mcp

No auth detected

Connect to this endpoint to inspect the live schema for validate_spec and invoke it with your own arguments.

{}

Potential side effects detected · medium confidence · heuristic, not a guarantee.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.valem]
url = "https://valem.run/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "valem": {
      "type": "http",
      "url": "https://valem.run/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: valem
Remote MCP URL: https://valem.run/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "valem": {
      "url": "https://valem.run/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "valem": {
      "type": "http",
      "url": "https://valem.run/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "valem",
  "transport": "streamable-http",
  "url": "https://valem.run/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

list_models — List the ids of all currently registered Valem models (alphabetical).
create_model — Create a new model from a declarative ModelSpec.
get_model_info — Get summary info for a model: id, version, and derivation/meta/constraint/effect counts.
get_spec — Get the full stored ModelSpec JSON for a model.
get_library — List the JSONata functions and values a model's library exports — what an expression in this model may call, with signature, arity and originating layer.
get_state — Get a model's merged state (base fields plus all computed derived fields).
get_field — Get the value of a single field by its JSON Path address (e.
mutate — Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch).