{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_zprk3bb2cd7d","handle":"zero-trust-physics","url":"https://wellknown.network/agents/zero-trust-physics","links":{"self":"https://wellknown.network/agents/zero-trust-physics/record.json","html":"https://wellknown.network/agents/zero-trust-physics","markdown":"https://wellknown.network/agents/zero-trust-physics/record.md","api":"https://wellknown.network/api/v1/agents/zero-trust-physics","status":"https://wellknown.network/api/v1/agents/zero-trust-physics/status","claim":"https://wellknown.network/agents/zero-trust-physics/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/zero-trust-physics/claim.json","badge":"https://wellknown.network/agents/zero-trust-physics/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/zero-trust-physics/history","tools":"https://wellknown.network/api/v1/agents/zero-trust-physics/tools"},"ard":{"identifier":"urn:air:mcp.zerotrustphysics.com:server:zero-trust-physics","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Zero-Trust Physics","summary":"A physics verifier for Super Intelligence. Every answer comes with a cryptographic proof.","description":"A physics verifier for Super Intelligence. Every answer comes with a cryptographic proof.","publisher":{"name":"com.zerotrustphysics","url":null},"homepage":"https://zerotrustphysics.com","repository":null,"version":"0.15.2","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://mcp.zerotrustphysics.com/mcp","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-22T15:54:29.572752Z","publishedAt":"2026-10-22T15:54:29.572752Z","registryName":"com.zerotrustphysics/verifier"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":0.54,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 32m ago.","lastOkAt":"2026-10-30T05:27:12.761Z","lastProbedAt":"2026-10-30T05:27:12.761Z","statusComputedAt":"2026-10-30T05:30:30.155Z","reliability30d":{"probes":52,"successRate":1,"p50Ms":499,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":52,"ok":52,"authBoundaryOk":0,"serviceOk":52,"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-30T05:27:12.761Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":480,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.3","protocolVersion":"2025-06-18"}},{"at":"2026-10-29T21:27:43.899Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":531,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-29T13:30:39.171Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":555,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-29T05:37:25.912Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":459,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-28T21:31:44.108Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":502,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-28T13:34:25.746Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":508,"error":null,"detail":{"serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-28T06:26:45.061Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":460,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-27T23:28:23.309Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":505,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-27T16:26:52.138Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":497,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}},{"at":"2026-10-27T09:26:36.520Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":589,"error":null,"detail":{"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"toolCount":18,"toolsHash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","serverName":"Zero-Trust Physics","capabilities":["tools"],"serverVersion":"0.15.2","protocolVersion":"2025-06-18"}}],"tools":[{"name":"list_cards","description":"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"},{"name":"describe_card","description":"Describes one domain and card pair: inputs, units, bounds, step limits, reject names and meanings, advisory flags, frame slots, and worked examples. With form \""},{"name":"compute_step","description":"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"},{"name":"run_trajectory","description":"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"},{"name":"verify_tape","description":"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"},{"name":"list_solvers","description":"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,"},{"name":"describe_solver","description":"Describes one solver: inputs and bounds, outputs, invariants and tolerances, refusal names and meanings, the published reference, and a worked example. With for"},{"name":"solve","description":"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"},{"name":"verify_solution","description":"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"},{"name":"run_dataset","description":"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 "},{"name":"verify_dataset","description":"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"},{"name":"verify_receipt","description":"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,"},{"name":"validate_series","description":"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"},{"name":"cite","description":"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"},{"name":"find_model","description":"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"},{"name":"find_flip","description":"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"},{"name":"design_run","description":"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"},{"name":"verify_step","description":"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 "}],"package":null,"toolSurface":{"id":"ts_z5sm73em7c82","endpointId":"ep_rvvdg5rytac7","hash":"a8293e1e789623ace619af159f744e66f1bb01256d74185669a13f8432c23d30","toolCount":18,"serverName":"Zero-Trust Physics","serverVersion":"0.15.2","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-22T17:31:00.518Z","lastSeenAt":"2026-10-30T05:27:12.773Z","observations":25,"toolNames":["list_cards","describe_card","compute_step","run_trajectory","verify_tape","list_solvers","describe_solver","solve","verify_solution","run_dataset","verify_dataset","verify_receipt","validate_series","cite","find_model","find_flip","design_run","verify_step"],"distinctSurfaces":8},"endpointFacts":[{"id":"ep_rvvdg5rytac7","url":"https://mcp.zerotrustphysics.com/mcp","type":"mcp_streamable_http","factsCheckedAt":"2026-10-29T05:37:25.964Z","auth":{"observedAt":"2026-10-29T05:37:26.130Z","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-29T05:37:26.144Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"zerotrustphysics.com","issuer":{"commonName":"WE1","organization":"Google Trust Services"},"validFrom":"2026-10-04T21:04:11.000Z","validTo":"2027-01-02T22:02:41.000Z","daysToExpiry":64,"sanCount":2,"fingerprint256":"52:34:4D:87:C2:0C:89:34:09:25:4A:CE:BA:1B:4F:4E:39:9B:CB:85:57:14:CE:9D:C6:89:BC:6D:7C:63:90:01"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"com.zerotrustphysics/verifier","url":"https://registry.modelcontextprotocol.io/v0/servers/com.zerotrustphysics%2Fverifier","firstSeenAt":"2026-10-15T11:18:29.590Z","fetchedAt":"2026-10-29T00:22:30.228Z","normalizedAt":"2026-10-29T00:22:30.228Z"}]},"firstSeenAt":"2026-10-15T11:18:29.590Z","updatedAt":"2026-10-30T05:31:43.096Z"}