Deliberatic extends Dung's argumentation framework into a weighted bipolar system with Byzantine fault tolerance, constitutional guardrails, and Merkle-chained evidence — giving your agent clusters auditable, principled decisions instead of opaque confidence scores. Deliberation is triggered by topology: the κ invariant routes only regions with mutual feedback loops (κ > 0) into argumentation, because deliberation rights are earned by bidirectional influence, not assigned by role.
Three fatal gaps in current MAD frameworks that Deliberatic solves.
Each maps to established research in argumentation theory, distributed consensus, and agent communication.
σ(a) = w(a)·ρ(α(a), dom(a)) + Σ supports − Σ
attacks
— converging under contraction when
γ⁺ + γ⁻ < 1. Not binary accept/reject.
Degrees.
3f+1 Byzantine tolerance.
New evidence allowed during Prepare. ~200ms but
provably correct.
deliberation/v1 skill. JSON-RPC 2.0 /
SSE / gRPC.
Hash(positions) → Hash(challenges) →
Hash(constitutional checks) →
Hash(verdict). Merkle root published with verdict. Any party can
verify integrity, trace reasoning, audit compliance.
Export: JSON, PDF, OTEL spans.
ρ_new(a,d) = ρ_old(a,d) + K_d·(S − E_d). Vindicated dissenters get 1.5× K bonus
(domain-scoped). Weighting uses
ρ(α(a), dom(a)), discounted for poor
calibration (overconfidence / high ECE), so
rhetorical certainty can’t dominate.
What happens when agents disagree — in 200ms.
topic,
constitution reference,
deadline (30s), and
quorum (3). All agents matching the
Agent Card skill filter
deliberation/v1 are invited. Moderator
elected: highest-reputation non-participant.
Position —
structured argument with typed evidence
(performance, resource, latency, schema). Parsed
into wBAF nodes. Initial weights = evidence strength
× domain-aware, calibration-adjusted reputation
ρ(α(a), dom(a)). Agents can
challenge() — adding attack edges — or
support() — adding support edges.
σ(a) = w(a)·ρ(α(a), dom(a)) + Σ
γ⁺·σ(supporters) − Σ γ⁻·σ(attackers). Converges when max delta < ε=0.001. Typically 3-7
iterations. Result: every position has a continuous
acceptability degree in [0,1].
merkle://0x...
TypeScript SDK · Python SDK · Rust core engine · MCP server
Deliberatic decides. AgenTroMatic executes. Connected by A2A.
Eight domains. One agent infrastructure.
Open-source argumentation engine for multi-agent AI. Dung's framework + BFT consensus + Merkle chains. A2A and MCP native. Apache 2.0.