|
Codevidence — Compliance evidence, generated where your code actually runs
Codevidence continuously connects compliance controls to the exact code that implements them — without giving anyone access to your source code.
|
80 % |
|
Verified by Design — A research vision for AI
A research vision: use generative AI to build symbolic models, independently verify them, and deploy deterministic systems with explicit limits.
|
79 % |
|
Certainty Labs | Intelligence is not authority.
Certainty Labs builds governed systems for situations where AI-generated intelligence must become evidence-backed decisions and controlled real-world action.
|
78 % |
|
Banao — Verifiable AI Software Engineering
Banao is a governed AI software-engineering workspace for repository understanding, bounded code change, verification and reviewer-ready evidence.
|
78 % |
|
Elliot — Independent systems research
Elliot's independent systems research across secure AI, cryptographic trust, privacy infrastructure and deterministic worlds.
|
78 % |
|
Kyrex — High-Integrity Terminal AI Agent
A control plane that sits between a language model and your local development environment — enforcing safety, tracking state with absolute fidelity, and maki...
|
78 % |
|
Policy-Enforced Delivery
A grassroots framework for observable, evidence-based delivery governance.
|
78 % |
|
AI data systems — worksinprod.dev
AI-ready data foundations with point-in-time correctness, explicit trust states, durable evidence and production-grade operations.
|
78 % |
|
Certainty Labs | Intelligence is not authority.
Certainty Labs builds governed systems for situations where AI-generated intelligence must become evidence-backed decisions and controlled real-world action.
|
78 % |
|
Tasaab — Compliance, computed
Deterministic compliance infrastructure that turns documents, registries, and operational data into reviewable controls and auditable deliverables.
|
78 % |
|
Product Logic Intelligence for Software Teams | RuleGap
RuleGap finds contradictions across code, schemas, billing, permissions, product copy, and recovery flows—then returns exact evidence and reproducible proofs.
|
78 % |
|
JipLabs — Governed AI Systems
JipLabs builds governed AI systems around evidence, traceability, human authority, and the shared JipCore foundation.
|
78 % |
|
Reasonix — The verifiable reasoning layer for financial decisions
Reasonix makes every high-stakes financial decision verifiable: each approval, flag, and denial justified by evidence a regulator can check, step by step.
|
78 % |
|
Xaloreli | Continuous evidence assurance
Xaloreli continuously reconciles the evidence behind sampled laboratory results across existing quality and operational systems.
|
78 % |
|
TEOMIX — Coordination Intelligence for Engineering Teams
TEOMIX turns engineering model conflicts into clear, source-linked decisions—from detection and evidence review to verified resolution.
|
77 % |
|
CauseSignal | Agentic engineering investigation
CauseSignal is an evidence-led investigation system built from governed specialist playbooks. It reconstructs incidents, defects, regressions, and risky chan...
|
77 % |
|
DFD — Evidence and control for enterprise AI
Data Flow Defense is building an enterprise AI data-assurance gateway. Inspect source documents, record policy decisions, and check continuing eligibility at...
|
77 % |
|
NEXUS by CommEnder | Smarter Compliance Platform
NEXUS is one governed platform for high-consequence work: lockout/tagout, work control, documents, quality, corrective action, and live operational clarity....
|
77 % |
|
LaunchProof — Independent production-readiness testing
Independent production-readiness testing for AI-built applications. Automated evidence collection, expert QA judgment and a clear release decision.
|
77 % |
|
Codance — Evidential commissioning for AI-enabled systems
Codance provides specialist evidential commissioning for consequential AI-enabled systems: controlled tests, cross-system evidence and reconstructible execut...
|
77 % |
Detected social media networks