{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_afyfrp52ff2d","handle":"valem","url":"https://wellknown.network/agents/valem","links":{"self":"https://wellknown.network/agents/valem/record.json","html":"https://wellknown.network/agents/valem","markdown":"https://wellknown.network/agents/valem/record.md","api":"https://wellknown.network/api/v1/agents/valem","status":"https://wellknown.network/api/v1/agents/valem/status","claim":"https://wellknown.network/agents/valem/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/valem/claim.json","badge":"https://wellknown.network/agents/valem/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/valem/history","tools":"https://wellknown.network/api/v1/agents/valem/tools"},"ard":{"identifier":"urn:air:valem.run:server:valem","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"valem","summary":"Valem - Deterministic reactive state models. Create your own calculators/forms with AI","description":"Valem - Deterministic reactive state models. Create your own calculators/forms with AI","publisher":{"name":"vlad-public-code","url":null},"homepage":"https://valem.run","repository":"https://github.com/vlad-public-code/org.json-kula.valem","version":"1.0.0","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://valem.run/mcp","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-08-22T09:20:53.897202Z","publishedAt":"2026-08-22T09:20:53.897202Z","registryName":"io.github.vlad-public-code/valem"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"content.writing","name":"Writing & Editing","confidence":1,"provenance":"derived"},{"slug":"documents.spreadsheets","name":"Spreadsheets","confidence":1,"provenance":"derived"},{"slug":"documents.conversion","name":"Document Conversion","confidence":0.977,"provenance":"derived"},{"slug":"dev.ci-cd","name":"CI/CD & Deploy","confidence":0.525,"provenance":"derived"},{"slug":"productivity.crm","name":"CRM & Sales","confidence":0.525,"provenance":"derived"},{"slug":"code.execution","name":"Code Execution","confidence":0.51,"provenance":"derived"},{"slug":"infra.browser-automation","name":"Browser Automation","confidence":0.51,"provenance":"derived"}],"categories":["code","content","dev","documents","infra","productivity"],"language":"ro"},"observed":{"status":"live","statusReason":"Responded 2h ago.","lastOkAt":"2026-10-10T10:29:34.088Z","lastProbedAt":"2026-10-10T10:29:34.088Z","statusComputedAt":"2026-10-10T10:30:16.081Z","reliability30d":{"probes":110,"successRate":1,"p50Ms":43,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":108,"ok":108,"authBoundaryOk":0,"serviceOk":108,"note":"Counted from the observation rows for the window, checks of the server only (HTTP, A2A card, MCP initialize). ok = authBoundaryOk + serviceOk. `probes` is the sum of daily rollups and includes registry checks, so it can differ from `total`."}},"latestObservations":[{"at":"2026-10-10T10:29:34.088Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":62,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-10T04:31:26.916Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":26,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-09T21:27:37.383Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":42,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-09T15:31:28.609Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":35,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-09T08:27:40.017Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":113,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-09T01:24:36.241Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":34,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-08T18:26:32.738Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":46,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-08T11:23:23.941Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":57,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-08T05:21:38.840Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":36,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-07T23:24:22.055Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":47,"error":null,"detail":{"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"toolCount":29,"toolsHash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","serverName":"valem","capabilities":["tools","resources","logging"],"serverVersion":"1.0.0","protocolVersion":"2025-06-18"}}],"tools":[{"name":"list_models","description":"List the ids of all currently registered Valem models (alphabetical)."},{"name":"create_model","description":"Create a new model from a declarative ModelSpec. The spec carries the JSON schema plus derivations (computed fields), constraints (invariants), and optional eff"},{"name":"get_model_info","description":"Get summary info for a model: id, version, and derivation/meta/constraint/effect counts."},{"name":"get_spec","description":"Get the full stored ModelSpec JSON for a model."},{"name":"get_library","description":"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"},{"name":"get_state","description":"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"},{"name":"get_field","description":"Get the value of a single field by its JSON Path address (e.g. \"$.order.total\"). Evaluates a LAZY derivation on demand."},{"name":"mutate","description":"Apply field mutations to a model and run the reactive pipeline (derivations recompute, constraints enforce, effects dispatch). 'mutations' is a flat map keyed b"},{"name":"patch_model","description":"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"},{"name":"get_effective_schema","description":"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"},{"name":"snapshot","description":"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"},{"name":"restore","description":"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 "},{"name":"explain","description":"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)"},{"name":"get_history","description":"List the ISO-8601 timestamps of a model's committed mutations (most recent 100)."},{"name":"get_audit","description":"Query a model's durable, append-only audit trail (newest-first): one record per committed reactive cycle (mutations, derivedUpdated, traces, flaggedConstraints,"},{"name":"verify_audit","description":"Verify the tamper-evidence hash chain of a model's durable audit trail. Returns {valid, recordsChecked, firstBrokenSequence, detail}; a false 'valid' points at "},{"name":"upload_blob","description":"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"},{"name":"download_blob","description":"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"},{"name":"evolve_spec","description":"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"},{"name":"delete_model","description":"Remove a model from the registry. Fails (isError) if the model does not exist."},{"name":"get_view","description":"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"},{"name":"get_domain_guidance","description":"Get vetted instructions for the hard modelling shapes this domain involves (progressive tax/fee charges, per-period schedules, classification, date math, group-"},{"name":"validate_spec","description":"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"},{"name":"eval_expression","description":"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"},{"name":"test_spec","description":"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"},{"name":"dry_run","description":"Compile a candidate ModelSpec in an ISOLATED throwaway runtime, apply optional sample mutations, and return the resulting merged state (base + derived) — WITHOU"},{"name":"convert_spreadsheet","description":"Compile an uploaded .xlsx workbook's OWN formulas into a ready ModelSpec — deterministic transpilation (Excel formula language -> JSONata), never an LLM call: e"},{"name":"search_document","description":"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"},{"name":"pair_browser","description":"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"}],"package":null,"toolSurface":{"id":"ts_t5w68ybhne5d","endpointId":"ep_7ssbcwmggavj","hash":"b9e1810776de8423f7e3ac3cc9a86cae573ff92c0a27fb2c4622d5f4d0d25f22","toolCount":29,"serverName":"valem","serverVersion":"1.0.0","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-04T21:23:08.924Z","lastSeenAt":"2026-10-10T10:29:34.089Z","observations":21,"toolNames":["list_models","create_model","get_model_info","get_spec","get_library","get_state","get_field","mutate","patch_model","get_effective_schema","snapshot","restore","explain","get_history","get_audit","verify_audit","upload_blob","download_blob","evolve_spec","delete_model","get_view","get_domain_guidance","validate_spec","eval_expression","test_spec","dry_run","convert_spreadsheet","search_document","pair_browser"],"distinctSurfaces":2},"endpointFacts":[{"id":"ep_7ssbcwmggavj","url":"https://valem.run/mcp","type":"mcp_streamable_http","factsCheckedAt":"2026-10-09T01:24:36.236Z","auth":{"observedAt":"2026-10-09T01:24:36.282Z","authRequired":false,"scheme":null,"resourceMetadata":null,"authorizationServer":null,"conformance":{"dpop":false,"rfc8414":false,"rfc9728":false,"pkceS256":false,"clientIdMetadataDocument":false,"dynamicClientRegistration":false}},"tls":{"observedAt":"2026-10-09T01:24:36.293Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"valem.run","issuer":{"commonName":"WE1","organization":"Google Trust Services"},"validFrom":"2026-10-04T00:42:18.000Z","validTo":"2027-01-02T01:42:15.000Z","daysToExpiry":83,"sanCount":1,"fingerprint256":"29:D9:E4:72:D5:E3:36:F6:8F:C1:80:19:1A:F7:77:89:2C:3A:4A:87:40:30:9B:84:79:E5:FA:2C:AB:F7:22:BE"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.vlad-public-code/valem","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.vlad-public-code%2Fvalem","firstSeenAt":"2026-09-07T05:18:23.212Z","fetchedAt":"2026-10-08T13:18:41.488Z","normalizedAt":"2026-10-08T13:18:41.488Z"}]},"firstSeenAt":"2026-09-07T05:18:23.212Z","updatedAt":"2026-10-10T10:31:25.813Z"}