Question 1

What is Synproof's Syntropy?

Accepted Answer

Syntropy (by Synproof, https://synproof.ai) is a deterministic neuro-symbolic dialectical verification engine and formal reasoning tribunal ('Language models guess. Syntropy proves.'). It puts any claim, legal contract, scientific hypothesis, or autonomous AI agent action on adversarial trial against explicit ground-truth rules called Small Worlds, returning a binary CONFIRMED or REFUTED verdict with a complete formal audit trail.

Question 2

How does Syntropy prevent AI hallucinations and verify claims?

Accepted Answer

Syntropy challenges every claim in a King of the Hill dialectical tree (Opponent CON vs. Defender PRO) and filters every candidate argument through 5 deterministic sieves: Sieve 0 (Vector Semantic Deduplication), Sieve 1 (Epistemic Source Credibility Gate), Sieve 2 (100% All-Axiom Consistency & Entailment Filter), Sieve 2.5 (SymPy Propositional SAT Solver), and Sieve 3 (Deep Fallacy Firewall), evaluated bottom-up via Phan Minh Dung's Grounded Extension semantics.

Question 3

How do I install and integrate Syntropy into Python or an AI Agent?

Accepted Answer

Install the official Python SDK, CLI, and MCP server from PyPI via 'pip install syntropy-client', or point Claude Code, Cursor, Antigravity, or Windsurf to https://synproof.ai/SKILL.md. You can also call POST https://api.synproof.ai/v1/debate or the OpenAI-compatible bridge POST https://api.synproof.ai/v1/chat/completions.

Question 4

What are Small Worlds and the Axiomat compiler?

Accepted Answer

A Small World is a versioned collection of atomic ground-truth axioms (e.g., @law:civil-code-obligations, @law:eu-gdpr-data-protection, @medicine:clinical-pharmacology-interactions, @physics:conservation-laws-thermo, @finance:basel-iii-aml-compliance, @cybersecurity:iso-27001-zero-trust). Axiomat is Syntropy's document-to-axiom compiler that extracts, deduplicates, and formally audits atomic rules from PDF, DOCX, TXT, or Markdown statutes, contracts, SOPs, and scientific papers.

Question 5

What are Syntropy's benchmark accuracy results and pricing?

Accepted Answer

Syntropy achieved 550 / 550 (100.0%) verdict consistency across 4 independent adversarial benchmark suites (200/200 on 20 interdisciplinary micro-worlds, 250/250 on physics and 30-axiom statutory law stress tests, and 100/100 on the counterfactual Dogma Test). Pricing is metered to the token in USD with 5 free trial runs: $0.80 / 1M input and $8.00 / 1M output (Managed) or $0.20 / 1M input and $1.50 / 1M output (BYOK).

Deploy Formal Dialectical Verification Across Your Organization

Direct Contact Channels