Seven MCP tools that treat your codebase as a knowledge graph instead of flat files. You get `scan_repository` to build the graph, `query_graph` to ask architectural questions, `analyze_impact` before changes, and `teach_lesson` to persist rules the system remembers across sessions. The substrate powers both dev-time reasoning (cross-file refactor analysis, dependency checks) and runtime governance with cryptographic receipts anchored to Sigstore Rekor. Runs local-first with 14 LLM backend options including Ollama. Useful when you need AI that understands how modules connect, not just what individual files contain, or when you're shipping regulated AI and need third-party-verifiable decision logs that survive infrastructure changes.
Index any codebase as a knowledge graph so AI agents reason about architecture instead of grepping files. Every decision they make — at build-time or in production — gets a cryptographic receipt anchored to a public transparency log. One Python package, two surfaces: dev intelligence for engineers, runtime governance for regulators.
pip install graqle
Website · Quickstart · Runtime governance · EU AI Act docs · Changelog · VS Code Extension
| Build-time (dev intelligence) | Run-time (production governance) | |
|---|---|---|
| Governs | how your AI writes code | what your deployed AI decides |
| Trigger | a code change | a production decision (loan, hiring, triage, …) |
| Emits | reviewed, impact-analysed, audit-logged changes | a tamper-evident, third-party-verifiable record per decision |
| Built on | typed code knowledge graph + multi-agent reasoning | Layer 5 cryptographic substrate (RFC 8785 JCS → RFC 6962 Merkle → ed25519 → Sigstore Rekor) |
| Status | GA | GA — attest() capture (v0.60.0) + FastAPI middleware / @governed (v0.61.0) + continuous anchoring worker graqle govern serve (v0.62.0) |
Build-time governance proves we hold ourselves to this standard — GraQle is developed through its own governance. Run-time governance lets you hold your deployed AI to the same cryptographically-verifiable standard. Same substrate, both surfaces.
# 1. Scan any codebase into a knowledge graph
graq scan repo .
# → typed graph: functions, classes, modules, imports, calls — full architecture mapped in seconds
# 2. Ask GraQle to audit it
graq run "find every authentication bypass risk"
# → Graph-of-agents activates across relevant nodes
# → Traces cross-file attack chains the LLM alone cannot see
# → Returns: confidence score + evidence trail + active nodes + tool hints
# 3. Fix it — GraQle shows exact before/after for each file (governed)
# 4. Teach it back — the graph never forgets
graq learn "cancel endpoint must require admin auth"
# → Lesson persists. Every future audit activates this rule.
from graqle.governance.runtime import GovernedRuntime
gov = GovernedRuntime(salt="your-deploy-salt")
def score_application(app):
decision = model.predict(app) # your deployed AI, untouched
gov.attest( # <-- the one added line
domain="loan", model_id="credit-risk-v4",
inputs={"applicant_ref": gov.pseudonymize_ref(app.id)}, # PII-safe
output={"decision": decision.label, "reason_code": decision.reason},
)
return decision
Each call produces a durable, PII-safe governed record. Its leaf hash is computed with the same shipped primitive the build-time batcher uses, so a runtime record is byte-compatible with the cryptographic substrate (RFC 8785 JCS → RFC 6962 Merkle → ed25519 → Sigstore Rekor). Capture is out-of-band — it adds 0 ms to your write path.
See examples/runtime_attest_production_decisions.py and examples/runtime_govern_serve_anchoring.py.
# Long-lived anchoring worker — flushes batches + drains the replay queue every tick
graqle govern serve --config graqle.yaml
# Cron-style one-shot tick (single flush + single replay-drain)
graqle govern serve --once
# Article-72-style monitoring snapshot — JSON suitable for any external monitor
graqle govern health
# → { "running": true, "ticks": 47, "records_anchored": 3120, "replay_queue_depth": 0, ... }
The serve loop writes .graqle/govern.health.json atomically after every tick — pipe it into your existing monitoring (Prometheus, Datadog, an oncall dashboard, a simple curl).
Independently verifiable, by anyone. Committed batches anchor to the public Sigstore Rekor transparency log. Any third party can verify a record — auditor, regulator, counter-party — without access to your infrastructure, or ours. Verification doesn't depend on Quantamix staying online.
A 4-developer team on a 50,000-node enterprise codebase burns ~$40 per developer per day on flat-file AI-coding tokens in 2026. The same team using GraQle's substrate:
| Scenario | Annual (4 devs) | Saving |
|---|---|---|
| Flat-file baseline (Cursor / Claude Code default) | $42,240 | — |
| GraQle + frontier API (Sonnet 4.6) | $19,874 | −53% |
| GraQle + local SLM (Year 2, 90% migrated) | $5,174 | −88% |
Every number is auditable. Every assumption is sourced (Anthropic pricing, Cursor power-user data, Microsoft's killed Claude Code pilot, NCBI biomedical-KG research showing >50% token reduction, Qwen3-Coder SWE-Bench benchmarks). Scale linearly to a 40-developer enterprise: ~$224k/year saved in Year 1, ~$371k/year in Year 2.
Plus six things Cursor / Copilot / Codex do not offer at any subscription tier: cryptographic audit trail, EU AI Act Article 26 readiness (€15M fine exposure), patent-defensible substrate, survive-vendor-disappearance, multi-agent governance, public Sigstore Rekor anchoring.
→ Read the full case study — math, sources, and a bash snippet to re-run it on your own team's numbers.
A governance-led multi-agent reasoning system for code, with a built-in cryptographic audit substrate for the AI you ship to production. Scan any codebase into a persistent knowledge graph. Every module becomes a reasoning agent. Agents decompose, debate, and synthesize answers with clearance-level governance. Every change — and every production decision — is impact-analysed, gate-checked, and cryptographically committed.
AI assistants see files. GraQle sees architecture. That's why it catches the cross-file bugs they can't, and why its audit trail survives every level of tampering.
Built for engineering teams who need:
confidence, graph_health, active_nodes, evidence pointers..graqle/governance/audit/ with redaction + secret scanning.The pipeline runs through five named phases — ANCHOR → ACTIVATE → GENERATE → VALIDATE → COMMIT. Each phase is governance-gated, evidence-attached, and audit-logged.
API defaults: confidence_threshold=0.65 (refusal floor), gate_threshold=0.60 (gate-status floor). Both are configurable per-call.
Anthropic · OpenAI · AWS Bedrock · Ollama · Gemini · Groq · DeepSeek · Together · Mistral · OpenRouter · Fireworks · Cohere · Azure OpenAI · custom HTTP.
# graqle.yaml — smart task routing
backends:
reasoning: anthropic/claude-sonnet-4-6 # quality work
embedding: bedrock/titan-v2 # cheap + fast
summaries: ollama/llama3 # local + free
Runs fully offline with Ollama. No telemetry. Code stays on your machine. API keys stay in your local graqle.yaml.
graq init # sets up a governed project (writes the constitution → CLAUDE.md)
graq gate-install # one-time, project-local — enforce it for Claude Code
graq init writes the GraQle constitution into your project, so your AI tool
behaves like a disciplined senior engineer from the very first command: governed
tools only (every change is checked), a defined investigate → plan → review →
apply → learn workflow, built-in token-cost rules, and the project's known
pitfalls baked in. One rulebook — shipped as
graqle/data/constitution/ — renders for every
client (Claude Code → CLAUDE.md, OpenAI Codex → AGENTS.md, Cursor →
.cursorrules, Windsurf → .windsurfrules), so editing it once keeps them all
in sync.
gate-install then routes every native write/edit/bash through GraQle's governance gates and adds a permissions backstop to .claude/settings.json. Plans required for risky changes. Trade-secret scanning on git commits. Path-traversal hardening on subprocess capture. CG-01 through CG-20 — all on, all auditable.
// .mcp/config.json
{ "graqle": { "command": "graq", "args": ["mcp", "serve"] } }
76+ MCP tools — every operation Claude Code / Cursor / VS Code Copilot needs is exposed as a governed tool with confidence scores, evidence pointers, and audit-trail entries. No prompt engineering, no glue code.
Articles 6, 9, 12, 13, 14, 15, 25, 50 become applicable on 2026-08-02. GraQle gives your high-risk AI system the signals, audit trail, and disclosure primitives it needs — so the parts of your compliance file you can quote from us, you can quote today.
# One switch flips every EU-AI-Act-aware subsystem at once
graq compliance switch on # shell snippet → eval to enable
graq compliance switch status # what's actually armed, in one envelope
graq compliance switch off # symmetric disable
# Per-subsystem CLI surface
graq compliance status # legacy + new subsystems block
graq compliance export --since 2026-08-01 --sha256-sidecar # Article 12 evidence
graq compliance baseline-doc generate --output baseline.jsonl # Q16.1 baseline
graq compliance periodic-assessment run --period-start ... --period-end ... # Q16.3
graq compliance feedback record --rating 5 --note "..." # Q16.5 observation
graq compliance eur-lex-check # weekly drift guard
| Article | What GraQle provides | Where |
|---|---|---|
| Art 4 — AI literacy | Integration guidance for providers + deployers | Art 4 doc |
| Art 9 — Risk management | Periodic-assessment artefacts with auto-remediation triggers | graq compliance periodic-assessment run |
| Art 11 — Technical documentation | Dated, content-addressed baseline document at deployment | graq compliance baseline-doc generate |
| Art 12 — Record-keeping | JSONL audit export + SHA-256 tamper-detection sidecar | graq compliance export |
| Art 13 — Deployer transparency | graph_health + confidence on every reasoning envelope | every graq_reason call |
| Art 14 — Human oversight | Confidence-gated refusal of auto-apply + claim-limits vocabulary | GRAQLE_EU_AI_ACT_MODE=on + graq edit/apply/auto |
| Art 15 — Accuracy / robustness / cybersecurity | 17 named defences + 7 measurable claims | graq compliance status --include-robustness |
| Art 25 — Value-chain responsibility | Intended-purpose declarations + PCT (Proof-Claims Token) x-ai-eu extension (11 fields) | Art 25 doc + graq pct issue/validate |
| Art 43 — Conformity assessment | Substrate evidence inputs (baseline-doc + audit log + periodic assessment + robustness + Article 14 gate) for the deployer's Annex VI internal-control file | Art 43 doc |
| Art 50 — Transparency for users | Auto banner + ai_disclosure machine field | GRAQLE_EU_AI_ACT_MODE=on |
| Art 72 — Post-market monitoring | graqle govern serve continuous anchoring + graqle govern health snapshot | v0.62.0 |
Three substantive non-claims kept legally clean:
TestNonClaimsInvariants blocks any release that introduces a compliant/certified field.→ Full Article-by-Article mapping in docs/compliance/eu-ai-act/
The EU AI Act docs are deliberately open to contribution — corrections, translations (DE/FR/ES/IT have highest demand), compliance gap reports from deployers building Annex VI internal-control files, and cross-framework mappings (NIST AI RMF, ISO 42001, ENISA, etc.) are all welcome. See CONTRIBUTING-COMPLIANCE.md for the contribution guide, the vocabulary discipline the CI enforces, and what kinds of changes go through which review path.
| No telemetry | GraQle does not phone home, collect usage data, or send analytics. |
| No code upload | Source never leaves your machine unless you opt in to cloud sync. |
| Secret scanning | 200+ regex patterns + Shannon-entropy detection + AST scan on every output candidate. |
| PyPI Trusted Publishing | OIDC-only — no long-lived API tokens in our pipeline. |
| Sigstore signatures | Every wheel signed by our GitHub Actions identity. Verify with graq trustctl verify --version <v>. |
| CycloneDX SBOM | Attached to every GitHub Release. |
.pth-file guard | Publish pipeline rejects any wheel containing .pth files (the LiteLLM-class attack vector). |
| Reproducible builds | SOURCE_DATE_EPOCH-pinned, rebuild from tagged source and compare checksums. |
| Survive-disappearance | Production audit records anchor to public Sigstore Rekor — verifiable even if Quantamix disappears. |
→ Full disclosure policy: SECURITY.md · Report vulnerabilities to security@quantamixsolutions.com
The EU AI Act layer is complete. GraQle now offers an optional, configurable EU AI Act (Reg. (EU) 2024/1689) compliance layer — off by default, enforced through a tamper-evident, irreversible latch.
governance.eu_ai_act in graqle.yaml):
once enabled, the layer cannot be silently disabled and blocking cannot be
downgraded to advisory. The latch is an ed25519-signed, hash-chained
record (.graqle/eu_ai_act_latch.jsonl) — not a hand-editable flag — so a
tamper attempt fails closed and can never turn it off.blocking + low confidence → refused with an audited per-action override
path; advisory → recorded + advised, never blocked. Reads, planning, and
reasoning are never gated.This completes GraQle's universal-governance arc (constitution-as-code → every client → universal server gate → cost-is-observability → EU AI Act layer).
Cost is observability, never a quality gate. GraQle never cuts reasoning or debate quality to save money. Every cost path is now advisory: it measures and surfaces spend (the cost-savings story) but never halts still-valuable work.
max_rounds; the
cost of continuing is measured (continuation_cost_usd in result metadata).max_rounds
and reports over-budget rounds instead.session_cost_usd
and a one-time over-budget note — purely observational, never blocks a tool,
and hardened against malformed cost values.max_rounds + the absolute LLM-call
ceiling), never price-based.One constitution, every AI client. The governance rulebook now renders into
every supported client from a single source — including OpenAI Codex via
AGENTS.md, which previously had no instruction file. Run graq init and your
AI tool pair-programs with a disciplined senior engineer from the first command,
whichever tool you use.
graqle/data/constitution/) — governed-tools-only rules, the 9-phase workflow, the full MCP tool inventory, token-cost rules, learned-behaviour workarounds, and a configurable (off-by-default) EU AI Act section. Modular Markdown; edit once, every client stays in sync.CLAUDE.md, OpenAI Codex → AGENTS.md (new), Cursor → .cursorrules, Windsurf → .windsurfrules. Append-under-marker and idempotent — an existing file is never clobbered.graq gate-install adds a non-destructive permissions backstop to .claude/settings.json (deny native write/exec, allow the governed graq_* tools) behind the existing PreToolUse hook.graqle govern serve continuous anchoring worker + govern health Article-72 monitoring snapshot.@governed decorator. Drop-in governance for any FastAPI app.GovernedRuntime.attest() and PII-safe pseudonymize_ref().GRAQLE_WORKTREE_ROOT for parallel-worktree dev.graq compliance switch single entry-point, Article 14 confidence-gated refusal, claim-limits vocabulary, EUR-Lex drift guard.| Tier | What you get |
|---|---|
| Free | Local-only graphs · core SDK · governance gates · EU AI Act surfaces · attest() runtime · govern serve anchoring (self-hosted, anchored to public Rekor) |
| Pro — $19/mo | Cloud sync · priority models · hosted Rekor relay |
| Team — $29/dev/mo | Shared KGs · team-wide lessons · audit log retention · SOC 2 evidence pack |
| Enterprise | On-prem · custom backends · dedicated support · regulated-deployment SLAs · contact us |
The free tier is real: the verifier, the runtime attestation path, and the continuous anchoring worker are all in the open-source SDK. Paid tiers add operational scale, team features, and a managed Rekor relay.
Core methods are patent-pending: EP26167849.4 (filed 2026-03-25), EP26162901.8 (CIP), and EP26166054.2 (CogniGraph divisional). The SDK source is fully auditable under the GraQle License — see LICENSE. Reimplementation of the patented methods outside this SDK requires a separate patent license.
→ github.com/quantamixsol/graqle — issues, discussions, contributions welcome.
GraQle is built by Quantamix Solutions. Query your architecture. Prove your AI's decisions.