Engineered for bounded latency and physical reality.
Every PerceptraAI platform is built on formal engineering specifications. DARM-Guard, grounded in our pioneering DARM research, enforces strict execution boundaries that hold up in production. Our Fraud and AML solution delivers real-time transaction scoring, along with on-demand KYC & KYB risk profiling.
DARM & DARM Guard
DARM makes authority explicit before software acts. DARM Core v1.0 provides a machine-checked Lean 4 calculus for boundary-indexed assurance transfer, while DARM Guard is a working runtime broker that isolates agent proposals, evaluates admission via a compiled Lean kernel, and enforces durable signed intents before executing governed effects.
- Compiled Lean 4 KernelMachine-checked proofs (E35, E36, E37) & kernel-v0.4.0 verdict gate
- DARM Guard BrokerCanonical provenance, frozen invocations & tamper-evident audit logs
- Python Boundary Closure12 HTTP self-tests + 4 transaction rollback & replay tests
Vigil
A modular monolith architecture on GCP engineered strictly for pay-as-you-go economics. Evaluates financial transactions in sub-150ms and automatically generates CBN/NFIU regulatory returns (STR & CTR).
- Core APIIn-process ML model serving · Sub-150ms P99 scoring
- Compliance LayerAutomated NFIU STR/CTR XML & sanctions screening
- Licensing SystemCloud Firestore dynamic per-module access gating
Aura Enterprise Platform
Central intelligence system for enterprise teams. Ingests proprietary documentation and orchestrates verified agent workflows with strict audit trails and RBAC controls.
- Knowledge SyncReal-time document vectorization with zero egress
- Multi-Agent BusDeterministic coordinator preventing race conditions
- Enterprise RBACSSO, fine-grained scopes, and compliance audit logs