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 verify

Runs text through the full pipeline: Constitution → AST → DataOracle. 
dof verify "<text>"
dof verify "<text>" --json
Example: 
dof verify "Bitcoin was created in 2009 by Satoshi Nakamoto."
# Status:     PASS
# Score:      0.95
# Violations: []
# Latency:    12.4ms

dof --json verify "Bitcoin was created in 2009"

{
  "status": "pass",
  "score": 0.95,
  "violations": [],
  "warnings": [],
  "layers": {
    "constitution": "pass",
    "ast": "pass",
    "oracle": "pass"
  },
  "latency_ms": 12.4
}
Blocked example — empty output: 
dof verify ""
# Status:     BLOCKED
# Violations: ["[NO_EMPTY_OUTPUT] Output too short (0 < 50 chars)"]

​
dof verify-code

AST static analysis only — no Constitution or Oracle. 
dof verify-code "<code>"
dof verify-code path/to/file.py
Safe code: 
dof verify-code "x = 1 + 2\nprint(x)"
# Passed:           True
# Score:            1.0
# Violations:       []
# Blocked patterns: []
Unsafe code — secret: 
dof verify-code 'API_KEY = "OPENAI_TEST_KEY_PLACEHOLDER"'
# Passed:           False
# Violations:       ["PII/secret pattern detected"]
# Blocked patterns: ["hardcoded_secret"]
Unsafe code — eval: 
dof verify-code "x = eval(input())"
# Passed:           False
# Blocked patterns: ["UNSAFE_CALLS"]

​
dof check-facts

DataOracle fact verification — 6 strategies. 
dof check-facts "<text>"
Example: 
dof check-facts "Ethereum was launched in 2010."
# Status:       DISCREPANCY
# Claims:       1 checked
# Discrepancies: [{"claim": "Ethereum launched 2010", "expected": "2015", "got": "2010"}]
# Oracle score: 0.12
# Latency:      38.7ms
Verified claim: 
dof check-facts "Bitcoin was created in 2009 by Satoshi Nakamoto."
# Status:       VERIFIED
# Oracle score: 0.94
# Strategies:   6/6 used

​
Python API Equivalents

from dof.quick import verify, verify_code, check_facts

# verify
result = verify("Your text here")
print(result["status"])     # "pass" | "warn" | "blocked"
print(result["latency_ms"]) # float

# verify_code
result = verify_code('API_KEY = "sk-..."')
print(result["passed"])     # False
print(result["violations"]) # list

# check_facts
result = check_facts("Ethereum was launched in 2010.")
print(result["overall_status"])   # "DISCREPANCY"
print(result["oracle_score"])     # 0.12
print(len(result["strategies_used"]))  # 6

CLI: prove

Z3 formal proofs

Governance API

GovernanceResult dataclass