Local MCP capabilities provider for Expo
OpenWorkProof Rust (Apple Silicon) is installed from its publisher's own source and answers where it runs, so this marketplace is not in the path of a single call. There is no address here to send one to, and a panel that pretended otherwise would be showing you an answer we made up. Install it and call it from your own client — the Installation tab has the entry for each one.
What it does
Six local Rust tools for evidence digests, signature checks, keys and schemas on Apple Silicon.
Quickstart
Install it the way its author documents:
The full guide: https://github.com/dengyier/OpenWorkProof/releases/download/rust-v0.1.0/openworkproof-rust-macos-arm64.mcpb
Where are you running it?
Every route below installs the same thing and ends at the same approval screen. This one runs on your machine: your client starts OpenWorkProof Rust (Apple Silicon) as a process under your own user, with your files and your network, so the tool surface below is what it can do to your computer rather than to a server somewhere else. Its scan result is on the Security tab — read the surface before you approve it.
Install it the way its author documents:
The full guide: https://github.com/dengyier/OpenWorkProof/releases/download/rust-v0.1.0/openworkproof-rust-macos-arm64.mcpb
Tool surface
What the model actually sees. Descriptions are diffed on every release — see version history.
Read from its source code. A server that builds its tool list when it starts can list more tools than this.
Return synthetic Slips JSONL and scope for the reference SOC workflow.
Takes no parameters.
Review supplied Slips JSONL locally and return cases plus a signed evidence bundle.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| alerts_jsonl | string | yes | — |
| tenant | string | no | — |
Verify a reference SOC bundle using separately acquired expected trust pins.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| bundle_json | string | yes | — |
| trusted_keys_json | string | no | — |
| trusted_checkpoints_json | string | no | — |
Generate an Ed25519 signing key pair; this tool takes no input parameters.
Takes no parameters.
Compute the OpenWorkProof `key_id` for a given Ed25519 public key.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| public_key_b64url | string | yes | The raw public key bytes encoded as unpadded base64url (43 characters). |
Sign a canonical OpenWorkProof payload with an Ed25519 private key.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| object_type | string | yes | One of the allowed signed domains (call `owp_list_domains` to see the list). |
| payload | string | yes | JSON string of the unsigned payload object. |
| private_key_hex | string | yes | The Ed25519 private key as a hex string. |
Verify an Ed25519 signature on a signed OpenWorkProof payload.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| object_type | string | yes | The canonical domain of the object. |
| signed_payload | string | yes | JSON string of the signed payload (must contain `signature_alg, signer_key_id, digest, and signature`). |
| public_key_b64url | string | yes | The signer's public key as base64url. |
Compute the canonical SHA-256 digest of an OpenWorkProof payload.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| object_type | string | yes | One of the allowed canonical domains. |
| payload | string | yes | JSON string of the payload object. |
Verify a WorkOrder's identity bindings and maintainer signature.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| work_order_json | string | yes | JSON string of the WorkOrder object. |
Verify a nested claim (AgentRequest or HumanDecision) against a WorkOrder.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| claim_json | string | yes | JSON string of the AgentRequest or HumanDecision. |
| work_order_json | string | yes | JSON string of the parent WorkOrder. |
List canonical OpenWorkProof domains; this tool takes no input parameters.
Takes no parameters.
Validate a signed Evidence Lifecycle v0.2, v0.3, or v0.5 profile.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| profile_json | string | yes | — |
Assess one v0.5 population observation set against its contracts.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| payload_json | string | yes | — |
Assess one v0.5 control observation set against its contracts.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| payload_json | string | yes | — |
Intrinsically validate a v0.3 scope without checking authority.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| scope_json | string | yes | — |
Compare a signed v0.3 scope with one verifier observation.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| scope_json | string | yes | — |
| observed_scope_json | string | yes | — |
Replay an OpenWorkProof ledger and return its authoritative state.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | Path to the SQLite ledger file. |
Run tests, write an execution receipt to the ledger, and save test evidence files.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | SQLite ledger file that receives the execution receipt. |
| payload | string | yes | JSON string of the run-tests execution payload (must include the signed `AgentRequest` and typed arguments). |
Forward a repo-read execution to the ledger coordinator.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | Path to the SQLite ledger file. |
| payload | string | yes | JSON string of the repo-read execution payload. |
Write verification results or signed decisions to the ledger, or prepare a draft.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | — |
| payload | string | yes | — |
| operation | string | yes | — |
Prepare, but do not sign or commit, a versioned decision draft.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | — |
| request_json | string | yes | — |
Export a public, diagnostic, or customer-private delivery package.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | — |
| output | string | yes | — |
| privacy_view | string | yes | — |
Verify and replay one surface bundle without writing or signing.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| package_path | string | yes | — |
Return the verified derived report, never payment or acceptance.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| package_path | string | yes | — |
Derive readiness only; this does not prove payment or settlement.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger | string | yes | — |
Get the authoritative JSON Schema for an OpenWorkProof object type.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| object_type | string | yes | One of `work-order, capability-grant, action-receipt, acceptance-receipt, acceptance-rejection-receipt`. |
| version | string | no | Schema version (default `0.1`). |
Get the frozen SHA-256 digest of an authoritative JSON Schema.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| object_type | string | yes | One of the five schema-bearing object types. |
| version | string | no | Schema version (default `0.1`). |
Analyse a repository's structure: file count, languages, dependencies.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| source | string | yes | Local path or remote Git URL to the repository. |
| clone_enabled | boolean | no | If `True and *source* is a URL, clone it to a temporary directory first (default True`). |
Validate one signed JudgmentCommitment (read-only, no authority).
| Parameter | Type | Required | Notes |
|---|---|---|---|
| payload_json | string | yes | — |
Validate one signed ActionBindingManifest (read-only, no authority).
| Parameter | Type | Required | Notes |
|---|---|---|---|
| payload_json | string | yes | — |
Read the current binding decision head from a ledger (read-only).
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ledger_path | string | yes | — |
Verify and explain one BindingDecision (read-only).
| Parameter | Type | Required | Notes |
|---|---|---|---|
| payload_json | string | yes | — |
- Every tool, no call limit
- No card, and mcprush charges nothing for it
- Source published under Apache-2.0
- Runs on your machine — nothing of it reaches our gateway
- Nothing to cap, because mcprush bills nothing
What counts against your monthly calls
| Tool | Unit | Calls used | Out of the allowance |
|---|
Nothing here is billable: mcprush charges nothing to install OpenWorkProof Rust (Apple Silicon) or to call it, at any volume.
Two independent axes, because powerful and malicious are different questions. The grade is threat only. The capability level is blast radius, and it is never a penalty on the grade — it is priced as one subtract-only term in the score, where you can see it.
| Term | Level | What it prices | Points |
|---|---|---|---|
| capability-exposure | high | capability blast radius (high) — client exposure if the model is manipulated | −6 |
| verification-discount | repo | publisher verification (public source) — no provenance, but the source is public and inspectable | −1 |
| coverage-honesty | source | inspection depth (source) — how much of the target the scan could see | −0 |
What the scan could actually read
A grade is only as meaningful as its coverage, so the scanner publishes its own depth before it publishes its result.
Tools were statically extracted from the published source (32 recovered), not enumerated from a running server. Tool-poisoning, Unicode-smuggling, capability and toxic-flow analysis ran on this inferred surface, but a mis-parsed registration could be missed or mis-attributed, so tool-derived findings are capped below “confirmed”. To grade the real runtime surface, scan the running server: --command "npx -y <package>".
Capability — what it could do if the model were manipulated
Tags derived from each tool’s schema and the implementation, not from what the tool calls itself. high is the level these add up to.
| Tool | Capability tags | Why the tag was assigned |
|---|---|---|
| owp_generate_keypair | no tags | |
| owp_compute_key_id | no tags | |
| owp_sign_payload | no tags | |
| owp_verify_signature | no tags | |
| owp_compute_digest | no tags | |
| owp_verify_work_order | no tags | |
| owp_verify_nested_claim | no tags | |
| owp_list_domains | no tags | |
| owp_validate_profile | no tags | |
| owp_integrity_observation_validate | no tags | |
| owp_control_observation_validate | no tags | |
| owp_scope_validate | no tags | |
| owp_scope_compare | no tags | |
| owp_status | no tags | |
| owp_run_tests | no tags | |
| owp_repo_read | no tags | |
| owp_run_verification | no tags | |
| owp_get_decision | no tags | |
| owp_build_delivery_package | no tags | |
| owp_verify_surface_bundle | no tags | |
| owp_render_surface_report | no tags | |
| owp_get_settlement_readiness | no tags | |
| owp_get_schema | no tags | |
| owp_get_schema_digest | no tags | |
| owp_analyze_repo | no tags | |
| owp_validate_judgment_commitment | no tags | |
| owp_validate_action_binding_manifest | no tags | |
| owp_get_binding_status | no tags | |
| owp_explain_binding_decision | no tags | |
| owp_soc_sample_alerts | no tags | |
| owp_soc_analyze_slips | no tags | |
| owp_soc_verify_bundle | no tags |
Toxic-flow graph
The lethal trifecta, checked as a graph rather than as a checklist: untrusted input, a sensitive source and an external sink have to meet before there is a path worth worrying about.
The public result for this release does not print the flow graph, so there is nothing to show here. That is not the same as "no paths were found": what the scan did read is above, under coverage.
Supply chain and provenance
This is the first scan of this surface here, so there is nothing yet to compare it against.
Every result on this tab comes from one deterministic pass over the published package — offline, rule by rule, and auditable line by line above. Same methodology version, same bytes, same score.
Release history
It installs from its repository rather than from a versioned package, so the command cannot be pinned to a release. The history below is for reading; the current release on file is 0.1.0.
No release note was published with this version.
One review per account, from a signed-in account that does not publish this listing. Nothing else is asked — you can say what you think before you install it. Publishers can reply once per review, and a review can be edited or deleted by whoever wrote it.
Any signed-in account that does not publish OpenWorkProof Rust (Apple Silicon) can review it, once — before installing it or after. A review from an account that has installed it is marked as one.
Nobody has reviewed this listing. The rating on the card is the mean of the reviews written here and nothing else, so there is no rating until somebody writes the first — which takes a signed-in account that does not publish it, and nothing else.