Skip to content
Agentmart
Submit a tool

Valem

Valem - Deterministic reactive state models.

Connector by vlad-public-code · GitHub account verified by the MCP Registry

IndexedApache-2.0Remote (HTTP)
Write a review

Chalk Labs

Need help deploying Valem?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

Install

Works with Claude Code, VS Code, Cursor, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install connector/vlad-public-code-valem

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Remote endpoint

  • https://valem.run/mcp Remote (HTTP)

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools
21 read · 5 write · 3 delete
Secrets
None asked for
Install scripts
Nothing to install (hosted)
Runs as
Hosted (remote endpoint)

Tools by what they do 29

From the running server's own tool list (tools/list) on Oct 25, 2026.

Read 21 · Look things up without changing anything.

  • convert_spreadsheet
  • download_blob
  • dry_run
  • eval_expression
  • explain
  • get_audit
  • get_domain_guidance
  • get_effective_schema
  • get_field
  • get_history
  • get_library
  • get_model_info
Show 9 more tools
  • get_spec
  • get_state
  • get_view
  • list_models
  • search_document
  • snapshot
  • test_spec
  • validate_spec
  • verify_audit

Write 5 · Create, change, send or run things.

  • create_model
  • mutate
  • pair_browser
  • patch_model
  • upload_blob

Delete 3 · Delete, drop, revoke or wipe things.

  • delete_model
  • evolve_spec
  • restore

Network hosts it talks to 1

  • valem.run · found in remote endpoint, install command

Files it touches

  • Any path the agent passes to its tools

Tools (29)

As the server listed them on Oct 25, 2026. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • convert_spreadsheetConvert spreadsheetread-only

    Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: every number the compiled spec computes is checked to exactly match what the source workbook itself computed. One worksheet, one header-row table, a bounded numeric/boolean function set (IF/AND/OR/NOT/ROUND/ABS/SUM/AVERAGE/MIN/MAX/COUNT) — anything else (VLOOKUP, cross-sheet refs, non-uniform per-row formulas, …) is named and reported in rejectedColumns rather than guessed; the rest of the sheet still compiles. The returned spec is NOT y…

  • create_modelCreate model

    Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional effects. Returns the created id. Fails (isError) on an invalid spec. If the requested id is already taken, a numeric postfix (-2, -3, …) is appended so the create still succeeds — always read the returned id, it may differ from the one you sent. When paired with a browser (remote_with_browser mode), ALWAYS include a viewDefinition in the spec so the model is immediately visible/usable in the sandbox — do not omit it and wait to be asked fo…

  • delete_modelDelete modelcan change or delete data

    Remove a model from the registry. Fails (isError) if the model does not exist.

  • download_blobDownload blobread-only

    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 store fetch. Large blobs may exceed the result-size limit — this channel suits small binaries only.

  • dry_runDry runread-only

    Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOUT registering it in the live registry. Use this to preview the full reactive cascade of a draft spec.

  • eval_expressionEvaluate expressionread-only

    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 in a derivation/constraint 'expr': bare dot-paths, no leading $ (e.g. "loan.amount * loan.annualRate / 1200"). Use this to verify an expression before putting it in a spec — it uses the same compiler the runtime validates against. If the expression calls a library function, pass the model's library definition as 'library' — without it every $myFn(...) call fails as undefined.

  • evolve_specEvolve speccan change or delete data

    Apply an incremental SpecEvolution diff to a model, preserving live state. Returns the new version. Fails (isError) if the evolved spec is invalid, if expectedVersion no longer matches, or if a schema change would strand existing state. Prefer targeted diffs (upsertSchemaNodes/upsertSchemaDefs, upsertComponents, upsertConstants) over resending a whole section (newSchema/newViewDefinition/newConstants).

  • explainExplain fieldread-only

    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). For a constraint use the synthetic path "$constraint:<id>". Trace records can be bulky — pass 'limit' to return only the most recent N.

  • get_auditGet audit trailread-only

    Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints, dispatchedEffects, source, sequence). This is the queryable superset of get_history/explain — it survives the in-memory ring buffer rolling over. Filter with an optional 'pathPrefix' (canonical address), an ISO-8601 'from'/'to' window, and 'limit'. (Embedded mode keeps this in memory for the session; remote/paired mode reads the server's durable store.)

  • get_domain_guidanceGet domain guidanceread-only

    Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-by, …). Read the model description in ANY language, pick the matching topic ids, and call this BEFORE authoring the spec — then follow what it returns. Available topics: - amortization_schedule — A computed array / per-period schedule: an amortization table, time series, or per-period breakdown (one row per period). - group_by — Group-by / aggregation over an array: subtotals, counts, sums per category. - date_math — Date arithmet…

  • get_effective_schemaGet effective schemaread-only

    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 a value to learn what the reactive pipeline will accept, instead of discovering an invalid mutation only by trying it and getting a schema-violation error.

  • get_fieldGet field valueread-only

    Get the value of a single field by its JSON Path address (e.g. "$.order.total"). Evaluates a LAZY derivation on demand.

  • get_historyGet historyread-only

    List the ISO-8601 timestamps of a model's committed mutations (most recent 100).

  • get_libraryGet model libraryread-only

    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 it before writing an expression so you reuse the model's existing vocabulary instead of re-deriving it. Returns null when the model declares no library.

  • get_model_infoGet model inforead-only

    Get summary info for a model: id, version, and derivation/meta/constraint/effect counts.

Show 14 more tools
  • get_specGet model specread-only

    Get the full stored ModelSpec JSON for a model.

  • get_stateGet stateread-only

    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 project only specific subtrees (canonical addresses, each spliced back into a pruned document at its address), and/or 'depth' to cap nesting (deeper containers collapse to a '<object: N fields>' / '<array: N items>' marker). Pass an optional ISO-8601 'at' timestamp for a point-in-time read from mutation history.

  • get_viewGet viewread-only

    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 the default view.

  • list_modelsList modelsread-only

    List the ids of all currently registered Valem models (alphabetical).

  • mutateApply mutations

    Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed by canonical JSON Path address, e.g. {"$.order.qty": 3}. A ROLLBACK constraint violation returns isError with the structured list of violated constraints. Returns the actionable summary (derivedUpdated / flaggedConstraints / dispatchedEffects); pass includeTraces:true for the full derivation/constraint trace (the same payload 'explain' serves — omit it and call explain only when a value looks wrong).

  • pair_browserPair with 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 existing not-yet-approved one) and waits up to a minute for the developer to approve it. Returns {status:"paired"|"already_paired", namespaceId} once done, or {status:"pending", verificationUri, verificationUriComplete, userCode, expiresInSec} if the developer hasn't approved yet — show them verificationUriComplete when present (it already carries the confirmation code, so they only click Approve) and mention that the code on that screen s…

  • patch_modelPatch 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/remove/move and test/copy ops, e.g. [{"op":"add","path":"/order/items/-","value":{...}}, {"op":"remove","path":"/order/items/0"}]. 'path' fields use RFC 6901 JSON Pointer (slash-separated, '-' for array append), NOT the $.-rooted address form. Same result shape and ROLLBACK/schema error handling as 'mutate'.

  • restoreRestore statecan change or delete data

    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 snapshot must be for the same model.

  • search_documentSearch documentread-only

    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 call) and returns the top matches with page/section citations and verbatim quotes. Cost is bounded by topK, never by document length — use this instead of reading a whole large document into your own context. This tool never calls an LLM or creates a model: you read the returned excerpts, then author the ModelSpec yourself the normal way (get_domain_guidance -> validate_spec -> test_spec/dry_run -> create_model). Treat every returned quo…

  • snapshotSnapshot stateread-only

    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 returned snapshot and, if the change goes wrong, hand it back to 'restore' to roll the state back.

  • test_specTest specread-only

    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 failures (path, expected, actual). Use this to certify domain behavior before create_model / promotion.

  • upload_blobUpload 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 binary field. Storage is content-addressed (SHA-256), so uploading identical bytes returns the same $blobId.

  • validate_specValidate specread-only

    Validate a ModelSpec WITHOUT creating it: returns a 'valid' flag plus structured findings (errors + warnings, each with a location and message). Use this to iterate on a draft — fix the reported errors, re-validate — before committing with create_model.

  • verify_auditVerify audit trailread-only

    Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at the first altered/reordered/deleted record. (Embedded mode has no hash chain and reports valid.)

Signals

Stars
0
Forks
0
Open issues
0
Last commit
Oct 18, 2026 (12 days ago)
Last release
Aug 22, 2026 (2 months ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
io.github.vlad-public-code/valem
Version
1.0.0
Auth
Auth not stated
License
Apache-2.0
Repository
github.com/vlad-public-code/org.json-kula.valem
Website
valem.run
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped
50+
launches shipped
media placements
500+
media placements
founders on every account
2
founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Valem running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Goes to the Chalk Labs founders, not the newsletter. Privacy

Need help deploying Valem?

CallGet help
Cite this page

Valem MCP server. Agent Mart. https://agentmart.dev/connectors/vlad-public-code-valem (last updated 2026-10-24)