com.zerotrustphysics/verifier

up checked 2026-11-11T13:37:53.972Z

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 title

Zero-Trust Physics

Publisher-provided description

Deterministic physics runtime with a proof on every answer: 61 models, open and keyless over MCP.

Summary by lookupd

Runs deterministic physics models and field solvers, returning sealed, verifiable results with cryptographic proofs for each computation.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http verifier https://mcp.zerotrustphysics.com/mcp

Codex, remote (streamable-http)

codex mcp add verifier --url https://mcp.zerotrustphysics.com/mcp

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

{
  "mcpServers": {
    "verifier": {
      "url": "https://mcp.zerotrustphysics.com/mcp"
    }
  }
}

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

Tools (18 tools)

Publisher-provided text

• list_cards Lists every domain and card this connection serves, each with one sentence, and count, how many there are. against_measurement names the evidence behind the mod
• describe_card Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form "
• compute_step Computes one anchored step of one card and returns the state it lands on, in decimals and exact hex, with its cryptographic proof (sha384_seal) and a receipt. p
• run_trajectory Runs one card from a start state through segments of steps, each under its own load, and seals the run. The answer holds the outcome, the final state in decimal
• verify_tape Verifies the seal of a run. Short form, which needs only what is short: request is the run_trajectory request as it was sent, with its readout and its from, who
• list_solvers Lists every field solver this connection serves, each with one sentence, and count, how many there are. against_measurement names the evidence behind the model,
• describe_solver Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for
• solve Solves one field problem with one solver and seals the solution: the outcome, the result in decimals and exact hex, its invariants, the solution_seal and a rece
• verify_solution Verifies the seal of a solution. Short form, which needs only what is short: request is the solve request as it was sent (the answer's inputs), and solution_sea
• run_dataset Runs a declared plan of runs on one card, or of solves of one solver, and seals the rows under one root. A plan is a list of runs, a grid over a base run, or a
• verify_dataset Verifies the seal of a dataset. Short form: request is the run_dataset request as it was sent, and dataset_seal is the seal its answer gave. The plan is run aga
• verify_receipt Verifies the receipt at the end of one response against the text before it. It takes no physics permit. The receipt covers every byte of the response before it,
• validate_series Runs a run_trajectory request (without a readout) and compares one published quantity with the agent's measurements, each at a landed step. The answer is the er
• cite Gives how to cite a card or a solver: the service itself first (Zero-Trust Physics, its maker and its address) and the paper (https://doi.org/10.5281/zenodo.235
• find_model Finds the served model for a real thing described in plain words, such as "a lithium cell discharging in the cold". It returns the best few cards and solvers, e
• find_flip Finds where an outcome changes, and gives the run on each side. request is a run_trajectory or solve request written out, its domain and card or its solver by t
• design_run Designs a run: from a target end state to the loads of each segment that reach it, computed by the engine with no randomness, so the same request gives the same
• verify_step Computes one anchored step of one card, as compute_step does: verify_step is the earlier name of compute_step, served for this one version beside it, and takes

Details

• Version: 0.15.3
• Transports: streamable-http
• Uptime (7 days): 100%
• Median latency: 808 ms
• First indexed: 2026-11-01T09:00:22.072Z
• Last seen in registry: 2026-11-02T19:17:19.142Z
• Website: https://zerotrustphysics.com

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/com.zerotrustphysics/verifier.svg)](https://lookupd.com/servers/com.zerotrustphysics/verifier)

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