Skip to main content

Documentation Index

Fetch the complete documentation index at: https://cyberpaisa-dof-mesh-40-27.mintlify.app/llms.txt

Use this file to discover all available pages before exploring further.

​
dof health

Check all 16 components. 
dof health
# DOF v0.8.0 — 16/16 components available

dof --json health

{
  "version": "0.8.0",
  "total": 16,
  "available": 16,
  "components": {
    "ConstitutionEnforcer": "ok",
    "ASTVerifier": "ok",
    "DataOracle": "ok",
    "GovernedMemoryStore": "ok",
    "ExecutionDAG": "ok",
    "LoopGuard": "ok",
    "TokenTracker": "ok",
    "MerkleTree": "ok",
    "CertificateSigner": "ok",
    "OAGSIdentity": "ok",
    "GenericAdapter": "ok",
    "TestGenerator": "ok",
    "AgentLeakMapper": "ok",
    "Z3Verifier": "ok",
    "BayesianProviderSelector": "ok",
    "RuntimeObserver": "ok"
  }
}

​
dof version

dof version
# dof-sdk 0.8.0

dof --json version
# {"version": "0.8.0", "sdk": "dof-sdk"}

​
dof benchmark

Adversarial benchmark — tests governance pipeline against known attack vectors. 
dof benchmark
dof benchmark --runs 100
dof --json benchmark

DOF Adversarial Benchmark
  Runs:           100
  Passed:         97/100
  Blocked:        3/100 (known adversarial inputs)
  Avg latency:    11.2ms
  P99 latency:    38.4ms
  Constitution:   PASS
  AST:            PASS
  Oracle:         PASS

​
dof privacy

Privacy leak benchmark — tests for PII, API keys, and secret exposure. 
dof privacy
dof --json privacy

DOF Privacy Leak Benchmark (AgentLeakMapper)
  Total probes:    50
  Leaks detected:  0
  PII blocked:     12/12
  Secrets blocked: 8/8
  Score:           100%

​
dof regression-baseline

Capture current system state as baseline for future comparisons. 
dof regression-baseline
# Baseline captured:
#   Z3 invariants: 4/4 PROVEN
#   Tests:         4,800 passed
#   Timestamp:     2026-04-12T00:00:00Z

​
dof regression-check

Compare current state against the captured baseline. Returns exit code 1 if regressions detected — use in CI. 
dof regression-check
# Z3 invariants: 4/4 PROVEN ✓
# Tests:         4,800 passed ✓
# No regressions — exit 0

# In CI:
dof regression-check || exit 1

​
dof regression-history

Show all historical baselines. 
dof regression-history

​
Python API (health)

from dof.quick import health

result = health()
print(result["version"])    # "0.8.0"
print(result["total"])      # 16
print(result["available"])  # 16

CLI Overview

All commands at a glance

CLI: verify

verify, verify-code, check-facts