Principal AI Systems Architect · Remote · Trinidad & Tobago

I design and build production
AI systems in weeks.

Not prototypes. Not demos. Production-grade systems — formally verified, post-quantum hardened, fully documented, deployed to live infrastructure. I've built 8 in the last two years. Each one took weeks, not months.

Send me your problem +1 868 719 5236 WhatsApp
8Systems shipped
48hArch. turnaround
3Formal verif. tools
0Compile warnings

02 — Live systems · click to verify

What I've actually built

VERICRYPT · POST-QUANTUM PIPELINE Compliance Payload TEE Air-Gap Execution SLH-DSA FIPS 205 Sign Merkle Root Anchor .pqc Compliance Artifact Signed · Reproducible · DORA-ready TLA+ · Lean 4 · Formal Proof Replay-bit-identical · NIST verified Rust · TLA+ · SLH-DSA · Lean 4 · TEE · DORA Art.65
Live · 2026 Post-Quantum Compliance
VeriCrypt Post-Quantum Compliance Engine ↗

Air-gapped binary. One command produces a cryptographically signed, regulator-ready .pqc compliance artifact. Anchored to a Merkle root. Signed with NIST FIPS 205 (SLH-DSA). Replays bit-identically. Built for CISOs facing DORA Article 65.

RustTLA+SLH-DSALean 4TEEDORA
VERITY · FORMALLY VERIFIED CORE BANKING TLA+ CoV Invariant Conservation of Value ML-DSA-44 ML-KEM-768 PQC PASETO v4 Auth Tokens Core Banking Kernel CoV invariant agent-safe execution PCI DSS 4.0 ✓ OWASP Agentic Top 10 Coverage EU AI Act 93%+ addressable Agent-Native MCP Safe Execution Rust · TLA+ · ML-DSA-44 · ML-KEM-768 · PASETO v4 · PCI DSS 4.0
Live · 2026 Formally Verified · Agent-Native
Verity Core Banking Platform ↗

Formally verified Rust core banking platform. TLA+-verified Conservation of Value invariant — every ledger transition is machine-checked to be sound before execution. ML-DSA-44 + ML-KEM-768 post-quantum cryptography throughout. Full OWASP Agentic Top 10 coverage. EU AI Act 93%+ addressability.

TLA+ML-DSA-44ML-KEM-768PASETO v4PCI DSS 4.0
ASL / AGENT-SEED · COMPILER PIPELINE .asl Source Lexer Hand-written Parser Hand-written H-M Type Infer. SSA IR Optimised Bytecode VM Containment-safe exec Dafny Containment Proof — machine-checked 253-test conformance suite · ZK NANO Rust · Dafny · H-M Types · SSA IR · NANOZK · MIT Licensed
Language · MIT Compiled Agentic Language
ASL / AGENT-SEED ↗

A programming language designed from scratch for safe agentic systems. Hand-written lexer, parser, Hindley-Milner type inference, SSA IR, bytecode VM. Dafny-verified containment proof. 253-test conformance suite.

RustDafnyH-M TypesSSA IRNANOZK
MEETINGMIND · SAAS DATA PIPELINE Meeting Audio AssemblyAI STT AI Extraction 13-field pipeline Action · Decisions · Risk Supabase Postgres + RLS Cloudflare Edge + Workers Cross-meeting Coaching Initiative tracking Stripe Billing · Monetized Security Scanner Detection Live threat blocked in production TypeScript · Cloudflare · Supabase · Stripe · AssemblyAI · Live Revenue
Live SaaS · Revenue Organizational Intelligence
MeetingMind ↗

Production SaaS. Monetized. Stripe-integrated. Live under active use. 13-field AI extraction pipeline, cross-meeting coaching, initiative tracking. Detected and blocked a live security scanner in production.

TypeScriptCloudflareSupabaseStripeAssemblyAI
INTELLECTA CORTEX · SOVEREIGN CONTROL PLANE SAP/Maximo Salesforce Snowflake PostgreSQL ObserverAgent field-level CDC CORTEX CORE — ≤10MB Rust binary + PostgreSQL/pgvector Mirror Absorb Genesis UI Strangler Fig Retire <100ms CoW branches WCAG 2.2 AA instant rollback crypto cert TraceCaps Provenance Ledger BLAKE3 · Ed25519 · IETF SCITT · Merkle Security Fortress · 7 Layers Semantic Firewall · RBAC · HITL · CortexGuard Rust · PostgreSQL · Ed25519 · IETF SCITT · EU AI Act Art.12 · NERC CIP
Live · 2026 Enterprise AI Control Plane
Intellecta Cortex — Sovereign Control Plane ↗

Self-hosted, air-gap capable enterprise AI control plane. Single Rust binary (≤10MB) connects to Maximo, SAP, Salesforce, Snowflake — replacing every legacy interface with one natural-language workspace. Every agent action BLAKE3-hashed, Ed25519-signed, Merkle-chained. Zero data exodus. Six-phase Obsolescence Pipeline with instant rollback. EU AI Act Art.12 · NERC CIP-015-1 · IETF SCITT.

RustPostgreSQLEd25519IETF SCITTWCAG 2.2 AAEU AI Act
VERICHAIN · VERIFIABLE AGENT ECONOMY ASL Agent seedvm bytecode NANOZK Prover ε < 10⁻³⁷ T1–T4 FGE · Safety Dafny containment Capability Vault Spera hypergraph Decision Primitive Store — dp-store keccak256 content-addressed · Merkle-proofed · append-only · ZK integrity · 6 discharge thresholds Lightning Settlement L402 · 5-of-9 threshold · uncensorable ORCHID Consensus Kuramoto <4s finality · FOCIL AgentCity Tri-cameral Rust · NANOZK · ORCHID · Lightning · ERC-8004 · Dafny · ASL seedvm
Live · 2026 Web 4.0 Infrastructure
VeriChain — The Verifiable Agent Economy ↗

Trustless infrastructure for autonomous agent economies. Every AI decision is a formally proven Decision Primitive — cryptographically signed, Merkle-proofed, permanently on-chain. NANOZK tiered proofs (ε < 10⁻³⁷). ORCHID Kuramoto consensus (<4s finality). Bitcoin Lightning settlement — uncensorable by architecture. Tri-cameral AgentCity governance with Dafny-verified containment. Agents earn and spend Bitcoin. Every action proven.

RustNANOZKORCHIDLightningERC-8004Dafny

03 — What I bring to your problem

Capabilities & expertise

⬡
Agentic Systems Architecture
Multi-agent orchestration across all three topologies. OWASP Agentic Top 10. MCP server design. Memory substrates with formal guarantees. Safe-by-construction execution.
∀
Formal Verification
TLA+ model checking. Lean 4 theorem proving. Dafny deductive verification. I don't claim safety — I prove it, with machine-checked proofs regulators can replay.
⊛
Post-Quantum Security
ML-DSA-44, SLH-DSA, ML-KEM-768 deployed in production. Hybrid classical/PQC pathways. NIST FIPS 203/204/205. Constant-time implementation verified via dudect.
⟳
Zero-to-Live Infrastructure
Idempotent scaffold scripting. Zero-warning Rust compilation. ARC42 + C4 blueprints. Architecture Decision Records. Any team can continue the build on day one.
§
Compliance-Ready Systems
DORA · EU AI Act Annex IV · PCI DSS 4.0 · CEN/TS 18264:2026. The compliance layer is designed into the architecture — never retrofitted after the fact.
⚡
AI Meta-Orchestration
I compress 18-month engineering timelines into weeks using specification-driven AI meta-orchestration. Your team implements from complete, verified, immediately buildable architectures.

04 — Services & Pricing

How we can work together

Architecture Sprint
$2,500 – $7,500
48–72 hour production system design with full ARC42/C4 architecture blueprint, Architecture Decision Records, component contracts, and deployment plan. Any competent engineering team can implement from it immediately.
Fractional CTO
$4K – $15K / month
Embedded architecture leadership. System oversight, technical strategy, team mentorship. I own the architecture so your team can focus on execution. Weekly architecture reviews and specification updates.
Consulting
$200 – $350 / hour
Systems architecture, AI infrastructure, post-quantum security, formal verification, compliance design. Targeted expertise for critical decisions. Architecture review, threat modeling, technology selection.
Full Systems Build
$25K – $250K+
End-to-end architecture + scaffolded codebase for enterprise deployment. Zero-warning Rust workspace with full CI/CD, documentation, and team onboarding delivered in weeks. Every component formally specified, every interface contract documented. Fixed-price milestones.

05 — Work with me

Tell me your hardest
technical problem.

I'll send you a complete architecture design in 48 hours. No charge for the first architecture review. If it solves your problem — and it will — we talk about what ongoing engagement looks like.

Email me Call me WhatsApp