io.github.vlad-public-code/valem

up checked 2026-11-11T04:39:00.229Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

Valem - Deterministic reactive state models. Create your own calculators/forms with AI

Summary by lookupd

Creates and runs reactive state models from specs, with derivations, constraints, audit trails, and document or spreadsheet import.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http valem https://valem.run/mcp

Codex, remote (streamable-http)

codex mcp add valem --url https://valem.run/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (showing 30 of 35)

Publisher-provided text

• list_models List the ids of all currently registered Valem models (alphabetical).
• create_model Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff
• 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. Call i
• get_state Get a model's merged state (base fields plus all computed derived fields). On a large model this is the biggest context cost — narrow it: pass 'paths' to projec
• get_field Get the value of a single field by its JSON Path address (e.g. "$.order.total"). Evaluates a LAZY derivation on demand.
• mutate Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b
• patch_model Apply an RFC 6902 JSON Patch document to a model and run the reactive pipeline. Unlike 'mutate' (a flat address→value map), a patch expresses array insert/remov
• get_effective_schema Get the effective JSON Schema for a field: the static schema overlaid with LIVE meta-derived constraints (current min/max/required/…). Check this BEFORE writing
• snapshot Capture an immutable point-in-time snapshot of a model's state (base document + derived/meta caches). A natural safety step before a risky evolve_spec: keep the
• restore Restore a model's state from a snapshot previously returned by 'snapshot' (pass it back verbatim as 'snapshot'). Overwrites the model's current base state. The
• explain Explain why a field is what it is: returns the recent derivation/constraint trace records for a path from the in-memory ring buffer (inputs, expression, result)
• get_history List the ISO-8601 timestamps of a model's committed mutations (most recent 100).
• get_audit Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,
• verify_audit Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at
• upload_blob Store binary content (base64-encoded in 'data') in the content-addressed blob store and get back a BlobRef {$blobId, $mediaType, $bytes} to embed in a model's b
• download_blob Fetch a blob's bytes by id, base64-encoded in the result. Pass 'modelId' to fetch a blob referenced by a specific model (access-scoped); omit it for a direct st
• evolve_spec Apply an incremental SpecEvolution diff to a model, preserving live state. Returns the new version. Fails (isError) if the evolved spec is invalid, if expectedV
• delete_model Remove a model from the registry. Fails (isError) if the model does not exist.
• get_view Evaluate a model's embedded view definition against current state and return the resolved component tree. Pass an optional 'viewId' for a named view; omit for t
• get_domain_guidance Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-
• validate_spec Validate a ModelSpec WITHOUT creating it: returns a 'valid' flag plus structured findings (errors + warnings, each with a location and message). Use this to ite
• eval_expression Evaluate a single JSONata expression against a sample input document and return the computed value, or the exact compile/eval error. Write the expr exactly as i
• test_spec Run a spec's embedded test cases (or ad-hoc given->expect cases) through the real reactive pipeline in a throwaway runtime, returning pass/fail plus per-field f
• dry_run Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU
• convert_spreadsheet Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e
• search_document Deterministic, LLM-free search over an uploaded PDF/DOCX: ranks the document's pages/sections against your query (term-overlap, no embedding model, no network c
• pair_browser Pair this MCP session with a browser tab on the hosted Valem sandbox so both drive the same live model session. Mints a pairing on first call (or resumes an exi
• valem_spec_guide How to write a Valem ModelSpec that render_model accepts: sections, path notation, JSONata rules, view components and common mistakes. Call this once before wri

Details

• Version: 1.0.0
• Transports: streamable-http
• Uptime (7 days): 100%
• Median latency: 762 ms
• First indexed: 2026-11-01T09:59:27.217Z
• Last seen in registry: 2026-11-01T09:59:27.217Z
• Repository: https://github.com/vlad-public-code/org.json-kula.valem
• Website: https://valem.run

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.vlad-public-code/valem.svg)](https://lookupd.com/servers/io.github.vlad-public-code/valem)

• 62071 servers
• Last crawl: 2026-11-11T16:39:06.253Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp