MoveProof
Draft

Settings

Workspace preferences, backend capabilities, and the destination contracts exposed by the current backend revision.

System status · read only

– / 6systems available

Backend not reachable

moveproof-backend-579259634424.asia-southeast2.run.app

  • unknown

    PostgreSQL

    Staging and commit gate

    Staging, destination and the audit trail live here.

  • unknown

    Nebius Token Factory

    NVIDIA Nemotron inference

    Used for model-assisted planning and selective reasoning escalation when configured.

  • unknown

    External Evidence Check

    Tavily, advisory only

    Tavily-backed advisory references for human review. Never changes verification results or commit eligibility.

  • unknown

    Rust verifier

    Canonical reconciliation

    Canonical row reconciliation. Reports not verified when absent.

  • unknown

    PDF export

    Evidence report rendering

    Server side rendering of the evidence report.

  • unknown

    Verified CSV export

    Verified dataset download

    The transformed dataset, read back from stored verified rows. Separate from the evidence report.

Destination contracts

Loaded from the backend profile registry. Unknown profile IDs are refused rather than converted into database table or column names.

Loading destination contracts…

Appearance

Stored in this browser. Choosing system keeps following your operating system when it changes.

preference: system · applied: light

Connection

API base URL
https://moveproof-backend-579259634424.asia-southeast2.run.app
Upload limit
unknown
Maximum sampled rows for model reasoning
unknown

Change the API URL with NEXT_PUBLIC_API_BASE_URL. The other limits are backend settings.