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 MCP Server

10 tools exposed via the DOF MCP server:
verify           → Constitution + AST + DataOracle check
check_governance → Constitution only
verify_ast       → AST only
get_metrics      → Current governance metrics
create_attestation → Write proof on-chain
verify_code      → Code safety check
check_facts      → DataOracle fact verification
prove            → Z3 formal proofs
benchmark        → Adversarial benchmark
health           → Component status

REST API — 14 Endpoints

MethodEndpointDescription
GET/healthComponent status (16/16)
POST/verifyFull governance check
POST/governance/checkConstitution only
POST/ast/verifyAST only
GET/metricsCurrent metrics
POST/attestation/createWrite proof on-chain
GET/attestation/registryList attestations
POST/verify-codeCode safety
POST/check-factsFact verification
POST/proveZ3 formal proofs
POST/benchmarkAdversarial benchmark
GET/version{"version": "0.8.0"}
GET/constitutionActive constitution rules
GET/.well-known/agent-card.jsonERC-8004 agent identity
Start the A2A server:
python3 a2a_server.py --port 8000
curl http://localhost:8000/health

External MCP Servers (4 foundational)

@modelcontextprotocol/server-filesystem  # Filesystem access
@pskill9/web-search                      # Web search — no API key required
@anthropics/mcp-server-fetch             # URL to markdown
@anthropics/mcp-server-memory           # Persistent knowledge graph

Additional MCP Servers (Guardian-audited 26 March 2026)

ServerPackagePurpose
context7@upstash/context7-mcpLibrary documentation
sequential_thinkingbuilt-inStep-by-step reasoning
playwrightmcp-playwrightBrowser automation
evmmcp-evm60+ EVM chains
tavilymcp-tavilyAI search (TAVILY_API_KEY)
brave_searchmcp-braveBrave search (BRAVE_API_KEY)
supabasemcp-supabaseSupabase (SUPABASE_ACCESS_TOKEN)

Example: REST API Usage

import requests

# Verify agent output
response = requests.post("http://localhost:8000/verify", json={
    "text": "The framework achieves 96.8% F1 score.",
    "agent_id": "apex-1687"
})
print(response.json())
# {"status": "pass", "violations": [], "latency_ms": 14.2}

# Create on-chain attestation
response = requests.post("http://localhost:8000/attestation/create", json={
    "proof_hash": "0x44b45cd...",
    "agent_id": "apex-1687",
    "verdict": "APPROVED"
})
print(response.json())
# {"tx_hash": "0x9f3a...", "chain": "avalanche", "block": 45823901}

Governance API

GovernanceResult and HierarchyResult

CLI Reference

All CLI commands