valem

Name: valem
Author: vlad-public-code

MCP serverMCP

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

by vlad-public-coderepository ↗homepage ↗v1.0.0

Is this yours?

This record is unclaimed

Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.

Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"valem","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.

Claim this record

Observed by Wellknown

Evidence

Everything here was measured by our prober or read from a registry. Nothing is self-reported.

30-day availability108/108 checks ok

when	check	result	http	latency	detail
4 h ago	mcp initialize	ok	200	42 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
10 h ago	mcp initialize	ok	200	35 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
17 h ago	mcp initialize	ok	200	113 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
24 h ago	mcp initialize	ok	200	34 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
31 h ago	mcp initialize	ok	200	46 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
2 d ago	mcp initialize	ok	200	57 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
2 d ago	mcp initialize	ok	200	36 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
2 d ago	mcp initialize	ok	200	47 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
2 d ago	mcp initialize	ok	200	34 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools
3 d ago	mcp initialize	ok	200	57 ms	server valem 1.0.0 · protocol 2025-06-18 · 29 tools

Tools observed via MCP handshake

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

This record is unclaimed

Evidence

What the publisher says

Capabilities

Where this record came from