Skip to content
View deus-intus's full-sized avatar

Block or report deus-intus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
deus-intus/README.md

DEUS INTUS® — UK Sovereign AI Engineering & Formal Verification Suite 🇬🇧

The UK's First Turnkey Sovereign AI Business Operating System • Zero Per-Seat Licences • 100% Model-Agnostic

Website Published Thesis Verified Receipts

"Never let a probabilistic language model guess where deterministic code can verify."
— Anthon Linton, Founder & Chief Architect, Deus Intus Ltd (Company No. 17209569 | UK Trade Mark No. UK00004416539)


🏛️ Open-Source Sovereign Engineering Repositories (Pure Python 3 • Zero Dependencies)

Every repository below runs out-of-the-box with standard Python 3.9+ (0 external pip packages) and emits cryptographic SHA-256 verification receipts:

Repository Plain-English Purpose Formal / Statutory Principle
deus-3way-reconciler Deterministic multi-source state reconciliation ([I]==[S]==[C]) preventing unauthorized invoice payment or database mutation. IPS Invariant 3-Way Match (#DI-3WAY-001)
deus-kalman-demand-filter Discrete-event 1D Kalman state estimator filtering erratic inventory demand spikes and routing orders to optimal market venues. Adaptive Kalman Gain $K_k = P / (P + R)$
deus-minimum-representation-compressor Strips 94.22% of bloated ERP/JSON token noise before calling AI—running 75.51% faster at 100.0% task accuracy (scoped to structured record/interface selection). $R^* = \arg\min_R C(R)$ s.t. $F(R) \ge F_{\text{req}}$ (#DI-CMP-942)
deus-bounded-godel-gate Solves the Gödel Agent Self-Modification Paradox. Allows AI workflows to improve in a sandbox while blocking any mutation of live safety, governance, or billing rules. Tarski Meta-Hierarchy Separation $S_1 \succ S_0$ (#DI-GODEL-C48)
deus-uk-business-mcp Model Context Protocol (MCP) server for Cursor & Claude Desktop: exact HMRC UK VAT math, 3-Way PO Reconciliation ([I]==[S]==[C]), and 36-Month SaaS vs. Buyout ROI. HMRC VAT Notice 700 + IPS 3-Way Check (#DI-3WAY-270)
deus-cyber-essentials-uk-auditor Read-only 2-second UK Cyber Essentials Technical Host Checker (Boundary Firewall, Loopback AI Isolation, Non-Root Execution, Path-Traversal Guard). UK Cyber Essentials 5 Technical Pillars (#DI-CE-666)
deus-pbft-consensus Practical Byzantine Fault Tolerance (PBFT) state machine ensuring multi-agent consensus before mutating enterprise state. Castro-Liskov PBFT $3f+1$ Quorum
deus-vectormesh Local in-memory vector database built on Kademlia DHT routing with zero external dependencies. XOR Metric Kademlia DHT Routing
deus-tap NFC digital business card and consent-based executive contact exchange PWA. UK GDPR Consent-First Exchange

🔌 Works Natively With Your UK Business Stack in 48 Hours

  • Native Business Software Bridges: Microsoft 365 (Outlook, Excel, Teams, SharePoint), Xero, Sage, QuickBooks, HubSpot, Slack, Cursor, and UK Statutory Registries (Companies House, CQC, FCA, HMRC).
  • 100% Model-Agnostic: Swap freely between Anthropic Claude, OpenAI GPT, Google Gemini, Mistral, or 100% offline local AI (£0 token tax).
  • Zero Per-Seat Licences: 100% Perpetual Client Code Ownership via statutory Deed of Assignment under UK IP Law. Air-gapped on-premise execution with zero recurring SaaS tolls.

🔗 Explore the Live Portal (deusintus.co.uk) • Configure Specification & Claim 1 of 50 Allocations (deusintus.co.uk/intake) • Inspect Sovereign Pricing & Tiers (deusintus.co.uk/private-access) • Read the Compression & Gödel Thesis (deusintus.co.uk/thesis)

Popular repositories Loading

  1. deus-tap deus-tap Public

    Deus Tap: NFC digital business card and consent-based contact exchange PWA.

    HTML

  2. deus-vectormesh deus-vectormesh Public

    Zero-dependency, local in-memory vector database based on statutory public domain Kademlia DHT routing.

    Python

  3. deus-pbft-consensus deus-pbft-consensus Public

    Zero-dependency Practical Byzantine Fault Tolerance consensus state machine for local AI agent workforces.

    Python

  4. file-server file-server Public

    Forked from tscircuit/file-server

    A simple filesystem server, useful for communication between a command line and a server that need to sync a filesystem

    TypeScript

  5. deus-intus deus-intus Public

    DEUS INTUS® — UK Sovereign AI Engineering, Minimum Representation Compression Thesis & Formal Verification Suite

  6. deus-uk-business-mcp deus-uk-business-mcp Public

    Zero-dependency UK Business, HMRC VAT, 3-Way PO Reconciliation ([I]==[S]==[C]) & SaaS-vs-Sovereign ROI MCP server for Cursor & Claude Desktop.

    Python