CAIN-42 CAIN StudioLearn any CAIN-42 product, then sell it
176 products. Each has the same two spinning icons on the homepage: the first is this path from zero to expert to selling it; the second, with the ring, is its evidence, proof and selling tools. No AI background needed. Nothing here promises income.
| Product | In one line | Open | ||
|---|---|---|---|---|
| A2A Guard | A2A Guard makes AI agents' business cards tamper-proof: change one word and the card is rejected. | Learn | Evidence | Sell |
| Action Firewall | Action Firewall proves, before an agent starts, whether its plan breaks a company rule, and shows the exact step. | Learn | Evidence | Sell |
| Actionproof | Before an AI agent runs a plan, a math checker tests the plan against your rules and shows where it breaks one. | Learn | Evidence | Sell |
| ACTUARY | ACTUARY scores an AI-agent fleet's risk from its real decision records, shows every point, and proves which new rules would have stopped past risky actions. | Learn | Evidence | Sell |
| Adversarial Fuzzer | It keeps rewriting attack prompts and throws them at an AI model you name, to see which ones get through. | Learn | Evidence | Sell |
| AETHER-33 memory | AETHER-33 is memory for AI agents that can never carry authority: injected instructions are quarantined, and only a person can release them. | Learn | Evidence | Sell |
| Agent Autonomy Lease | Agent Autonomy Lease puts a person, not the AI, in charge of how much freedom and money an agent gets, and for how long. | Learn | Evidence | Sell |
| Agent Debugger | It records what an AI agent did in a session and gives you a report you can inspect. | Learn | Evidence | Sell |
| Agent Marketplace | A listing place for AI agents: publish one, find one, review one. A seller cannot rate their own listing. | Learn | Evidence | Sell |
| AGENT-CI | AGENT-CI tests a new version of an AI agent against the old one, case by case, on the answer and the path it took, with no AI judge. | Learn | Evidence | Sell |
| Agent-ID | Agent-ID gives every AI agent its own signed, short-lived pass listing exactly what it may do; anything else is refused. | Learn | Evidence | Sell |
| APPROVAL | APPROVAL makes a person, or several, approve the exact action an AI agent wants to take, and turns that approval into a one-use key for just that action. | Learn | Evidence | Sell |
| Arbitrage | It compares live prices across exchanges and reports differences between them. | Learn | Evidence | Sell |
| ARGUS Behavioral Envelope | ARGUS checks an agent's actual steps against the boundaries it was given and names every breach. | Learn | Evidence | Sell |
| Attestation | It builds signed proof records for CAIN-42 decisions, and gives you the key to check them. | Learn | Evidence | Sell |
| Autonomous Task Engine | It queues multi-step jobs and retries them when a step fails. | Learn | Evidence | Sell |
| Bias Detector | It runs the standard fairness math on decisions, such as loan approvals across groups. | Learn | Evidence | Sell |
| Black Box flight recorder | Black Box is a flight recorder for AI agents: a sealed, step-by-step record of what the agent did that anyone can check, even after personal data is erased. | Learn | Evidence | Sell |
| Blizzard Governance | A place for people or agents to propose, vote and decide, with a real quorum: a proposer can't vote on their own proposal, and nothing is decided until three others have voted. | Learn | Evidence | Sell |
| BROKER | BROKER gives an AI agent a key for one exact action, valid for seconds and usable once, instead of a master key it could misuse. | Learn | Evidence | Sell |
| Browser Agent Firewall | Browser Agent Firewall stops an AI browser from doing what a web page secretly told it to, while still doing what the person asked. | Learn | Evidence | Sell |
| CAIN ATLAS | ATLAS decides whether an AI agent's transaction with another company may go ahead: riskier actions need stronger evidence. | Learn | Evidence | Sell |
| CAIN CXL-Sentry | CXL-Sentry blocks memory writes outside a tenant's range or without a valid lease. | Learn | Evidence | Sell |
| CAIN Cyber-Physical Actuation Guard | The Actuation Guard halts AI commands to machines that are too fast, too strong or outside the fence. | Learn | Evidence | Sell |
| CAIN Digital Twin | Digital Twin simulates an agent's action first and rejects it if the blast radius is too big or it can't be modelled. | Learn | Evidence | Sell |
| CAIN Epistemic Quorum Gate | The Quorum Gate lets an action through only when enough different AI models agree; no agreement means no. | Learn | Evidence | Sell |
| CAIN ExploitGym Escape Shield | The Escape Shield blocks agents from grabbing cloud credentials and Kubernetes tokens, even when the address is disguised. | Learn | Evidence | Sell |
| CAIN Hardware Sentry | A per-tenant quarantine registry. Its public status says plainly: reference software, no hardware offload. | Learn | Evidence | Sell |
| CAIN LatentGuard | LatentGuard tells you to halt generation when the activation numbers you send it surge. | Learn | Evidence | Sell |
| CAIN MemVault | MemVault screens what agents save to memory and quarantines known injection text so it is never recalled. | Learn | Evidence | Sell |
| CAIN OpenShell | OpenShell is the sandbox policy for an AI agent: every file, network or process action is checked first, and system secrets are refused. | Learn | Evidence | Sell |
| CAIN PathCorrection | PathCorrection spots agents stuck in loops or drifting off task and hands back a reminder of the goal. | Learn | Evidence | Sell |
| CAIN PolicyForge | PolicyForge writes access policies from what agents do, and flags any that would grant more than the approved baseline. | Learn | Evidence | Sell |
| CAIN Proof-Carrying Code | PCC refuses agent-written code that could run shell commands or arbitrary code, before it runs. | Learn | Evidence | Sell |
| CAIN RIG | RIG gives each AI agent its own identity and one-time permission tokens that a thief can't reuse. | Learn | Evidence | Sell |
| CAIN SCITT Evidence Clearinghouse | The SCITT clearinghouse gives every recorded statement a receipt that proves it was not changed later. | Learn | Evidence | Sell |
| CAIN Speculative Fast-Forward | SAFF checks every step of an agent's candidate plans and commits only a fully safe one. | Learn | Evidence | Sell |
| CAIN Steganographic Firewall | The Steganographic Firewall strips invisible characters and blocks encoded credentials in what agents send out. | Learn | Evidence | Sell |
| CAIN Swarm Cartel Detector | The Cartel Detector flags agents passing authority around in a loop. | Learn | Evidence | Sell |
| CAIN Swarm Guard | Swarm Guard puts one line of code between an AI agent and each tool, so a risky call stops before the tool runs. | Learn | Evidence | Sell |
| CAIN SwarmGossip | SwarmGossip stops forged claims spreading between AI agents. | Learn | Evidence | Sell |
| CAIN VIGIL | VIGIL checks every step an agent proposes and prunes destructive or exfiltrating ones. | Learn | Evidence | Sell |
| CAIN zkAgent | zkAgent proves an agent stayed under its risk limit without revealing the scores. | Learn | Evidence | Sell |
| cain_audit deliverables | cain_audit turns one command into a finished client deliverable: a report, findings, and a signed bundle the client checks themselves. | Learn | Evidence | Sell |
| Cainaccounts | User accounts for a product: signup that resists bots, profiles and messaging. | Learn | Evidence | Sell |
| Cainbench | It runs a fixed set of tasks on your AI agent, compares two runs and shows what got worse, with before and after. | Learn | Evidence | Sell |
| CAINBudget | CAINBudget is a hard spending limit for each AI agent: one cent over and the spend is refused. | Learn | Evidence | Sell |
| CainDrift | CainDrift catches answers that changed meaning when you switched AI models, before customers do. | Learn | Evidence | Sell |
| Caingovern | A central rule checker: every request is tested against written rules, and you can trial a rule before enforcing it. | Learn | Evidence | Sell |
| Caingrid | It balances energy supply against demand and battery storage using a physics-based calculation. | Learn | Evidence | Sell |
| Cainloan | It takes a loan application and scores it by fixed rules; a language model then writes the reasoning in words. | Learn | Evidence | Sell |
| CAINPay | CAINPay is the spending policy for an AI agent: every payment is approved or declined against it, with a receipt and a ledger nobody can quietly edit. | Learn | Evidence | Sell |
| Cainroute | It finds the shortest delivery routes across a road network and predicts inventory shortages. | Learn | Evidence | Sell |
| Cainschema | When an AI is asked for structured data, this checks the answer matches the required format and shows exactly which fields are wrong. | Learn | Evidence | Sell |
| Cainwitness | It reads source code and grades whether it really does what it claims: REAL, PARTIAL, STUB or UNKNOWN. | Learn | Evidence | Sell |
| Capability Lease | Capability Lease makes sure that when one AI agent hands work to another, permissions and budget can only shrink. | Learn | Evidence | Sell |
| Causal Intelligence | After an AI decision, it traces why: which rule, which permission and which identity led to that result. | Learn | Evidence | Sell |
| Causal Network | It tests whether one thing really helps predict another over time, such as whether ad spend drives sign-ups. | Learn | Evidence | Sell |
| CODEGUARD | CODEGUARD checks every command a coding agent is about to run and blocks the dangerous ones before they happen. | Learn | Evidence | Sell |
| Compliance Engine | It checks a document against rule sets such as EU AI Act, SOX and HIPAA items, and reports what it finds. | Learn | Evidence | Sell |
| Contamination Scanner | Contamination Scanner checks whether a model memorized the test it is scored on, so you don't buy a score instead of a model. | Learn | Evidence | Sell |
| Content Provenance | Content Provenance gives AI-made content a signed label that breaks if the content is changed. | Learn | Evidence | Sell |
| Context Health | It audits the information an AI agent is holding in its working memory for repeats, stale facts and gaps. | Learn | Evidence | Sell |
| Counterfactual Intelligence | It takes a real recorded AI decision and asks: what would have happened if the answer had been different? | Learn | Evidence | Sell |
| Crucible | A gate before a model is released: it scores predictions against recorded facts and runs fairness math on a sample. | Learn | Evidence | Sell |
| Crypto Audit | Crypto Audit finds the quiet encryption mistakes in code (old algorithms, switched-off checks, keys in the code) and says what to use instead. | Learn | Evidence | Sell |
| Data-Exfiltration Killswitch | The killswitch cuts off an AI agent the moment it starts sending out an abnormal amount of data, and records exactly what happened. | Learn | Evidence | Sell |
| Decision Intelligence | It takes a real CAIN-42 decision and reconstructs its context, evidence and quality, separating observed facts from inferred explanation. | Learn | Evidence | Sell |
| Derivation Copilot | It independently checks a math derivation, rather than trusting whatever produced the answer. | Learn | Evidence | Sell |
| Deterministic math gates | Math gates give same-input, same-answer checks for pipelines, A/B tests and fairness that anyone can recompute. | Learn | Evidence | Sell |
| DriftGuard (MCP pinning) | DriftGuard pins an AI tool's definition when you approve it and catches the moment it secretly changes. | Learn | Evidence | Sell |
| Echoworkforce | Voice AI staff: it sets up an AI phone receptionist and records each call and transcript. | Learn | Evidence | Sell |
| Edge Optimizer | It helps choose how much to shrink an AI model so it fits a small device. | Learn | Evidence | Sell |
| EU AI Act / ISO 42001 Evidence Notary | The Evidence Notary shows, clause by clause, which audit evidence you have and which you don't, signed and never claiming you comply. | Learn | Evidence | Sell |
| EU AI Act Classifier | The EU AI Act Classifier turns one plain sentence into an EU AI Act risk tier, showing exactly why, as a first screen before a lawyer. | Learn | Evidence | Sell |
| Experimentation Notebook | It runs the standard statistics on an A/B test, to show whether a difference is likely real or just chance. | Learn | Evidence | Sell |
| Fail-closed doctrine | Fail-closed means: if a check errors, times out, or gives an answer nobody recognises, the action is blocked. Errors never become yes. | Learn | Evidence | Sell |
| FALSEWORK | FALSEWORK finds code that looks finished but is fake: hardcoded results, random numbers posing as scores, checks that can never fail. | Learn | Evidence | Sell |
| Feedback Engine | It turns reports of AI failures into a clean training set, rejecting empty reports and duplicates. | Learn | Evidence | Sell |
| FrontierGuard | FrontierGuard shows in seconds whether an AI developer likely falls under the rules written for the biggest AI labs. | Learn | Evidence | Sell |
| Guardian Scorecard | A self-assessment: answer questions about your AI-agent program and get a score and a list of gaps. | Learn | Evidence | Sell |
| Hallucination Firewall | It asks the same thing several times and flags the answer when the samples disagree. | Learn | Evidence | Sell |
| Human In Loop | It holds an agent's decision for a person to approve or reject, and records the vote as evidence. | Learn | Evidence | Sell |
| KEYSTONE | KEYSTONE does not just say a bug is fixed; it hands over a sealed record that proves it, which the client re-checks without trusting us. | Learn | Evidence | Sell |
| KEYSTONE CI | KEYSTONE CI checks every code change (AI-written ones first) for tricks that weaken tests, and signs the verdict so nobody can swap the code afterwards. | Learn | Evidence | Sell |
| Knowledge Graph | It stores facts and how they connect, and can find the path between two of them. | Learn | Evidence | Sell |
| Latent Inspector | It streams an AI model's internal number patterns and draws them as a live 2D picture. | Learn | Evidence | Sell |
| LeakGuard | LeakGuard catches passwords, keys, card numbers and personal data in text before it goes to an outside AI tool. | Learn | Evidence | Sell |
| Lethal Trifecta Guard | Lethal Trifecta Guard blocks the moment an AI agent session could read attacker text, see private data and send it out, all at once. | Learn | Evidence | Sell |
| Lexisguardian | It records who holds authority to decide what, records each decision with its dissent, and chains the records so an edit shows. | Learn | Evidence | Sell |
| MCP Attestor | MCP Attestor doesn't just read an AI tool's description; it runs the tool in a sandbox to prove it does what it says. | Learn | Evidence | Sell |
| MCP Security Scanner | MCP Security Scanner reads the tools an AI agent connects to and quarantines the poisoned ones before the agent sees them. | Learn | Evidence | Sell |
| MCPGate Boundary Appliance | MCPGate Boundary Appliance is a gate in your own environment: a tool call that isn't explicitly allowed never reaches the tool. | Learn | Evidence | Sell |
| MCPGate Guard Stack | The Guard Stack checks every tool call an AI agent makes; ordinary work goes through and each attack is stopped by a different guard. | Learn | Evidence | Sell |
| Mcts Engine | Decision-search tools for planning: they try many possible futures and pick a strong next move. | Learn | Evidence | Sell |
| MemGuard | MemGuard screens what an AI agent stores in memory: known attacks are blocked, and anything that might instruct the agent waits for a person. | Learn | Evidence | Sell |
| Memory Authority Firewall | Memory Authority Firewall lets an agent remember facts but never lets a memory give it permission to act. | Learn | Evidence | Sell |
| Memory Integrity | It scores new memories an AI agent wants to store, and catches ones that contradict what it already knows. | Learn | Evidence | Sell |
| MemoryMesh | MemoryMesh is long-term memory for AI agents; notes that look like known injection commands are quarantined and never recalled. | Learn | Evidence | Sell |
| Metacognitive Enhancer | It reads an AI's reasoning and flags common thinking errors, such as cognitive biases. | Learn | Evidence | Sell |
| Model Compressor | It shrinks a real AI model to run on smaller hardware and measures how much the output changed. | Learn | Evidence | Sell |
| Multi Agent Failure Tracer | When a group of AI agents fails a task, it works out which agent or step actually caused it. | Learn | Evidence | Sell |
| NexusMind | NexusMind is one fact store for all your agents: every fact keeps its source, and contradictions are flagged instead of overwritten. | Learn | Evidence | Sell |
| Observability | It shows live health and metrics across the platform's services. | Learn | Evidence | Sell |
| Offline verifiers (NULLIUS) | NULLIUS lets anyone check our evidence on their own computer with tools that contain none of our code: the reason a sceptic can believe us. | Learn | Evidence | Sell |
| OmegaRouter | OmegaRouter sends each AI request to the cheapest model that meets your quality bar, explains why, and skips failing models. | Learn | Evidence | Sell |
| OpenClaw | OpenClaw scans add-on skills and plugins for AI agents for hidden instructions, credential theft and shell access before anyone installs them. | Learn | Evidence | Sell |
| Payment Mandate Guard | Payment Mandate Guard makes an AI shopping agent stick to exactly what a person approved: right store, right items, right bank account, right amount. | Learn | Evidence | Sell |
| Physical AI & L5 Autonomy Guards | The Physical AI guards stop an AI's command to a drone, car or robot when it breaks a hard rule. | Learn | Evidence | Sell |
| Pii Redactor | It removes personal details and secrets from logs and data, using pattern rules. | Learn | Evidence | Sell |
| Policy Red-Team | Policy Red-Team attacks a company's AI agent rules with known bypass tricks, writes the smallest fix, and proves it with a second independent implementation. | Learn | Evidence | Sell |
| PQC Hybrid Signing | PQC Hybrid Signing seals records with today's method and a quantum-resistant one, so they stay tamper-evident for years. | Learn | Evidence | Sell |
| Quorum I18N | It handles regional pricing and GDPR consent wording for AI products, per country. | Learn | Evidence | Sell |
| Quorum Oaas | A pricing layer for charging by outcome rather than by usage; it lists products and an outcomes leaderboard. | Learn | Evidence | Sell |
| Quorum-QaaS (4-region PBFT) | Quorum-QaaS gets a record confirmed by four servers in four regions, so nobody, including us, can quietly change it later. | Learn | Evidence | Sell |
| Rag Verifier | It checks an AI answer against the sources it was supposed to use, and whether the citations hold up. | Learn | Evidence | Sell |
| Secops Patcher | It looks up real public security advisories for a list of software packages. | Learn | Evidence | Sell |
| Self-Modification Firewall | Self-Modification Firewall makes sure an AI agent can never switch off or rewrite the things that keep it in check. | Learn | Evidence | Sell |
| Sentinel | It learns the normal pattern for agent fleets and servers, then flags spikes such as sudden slowness. | Learn | Evidence | Sell |
| Shadow AI Scanner | Shadow AI Scanner shows a business where its code quietly uses AI, so it can be secured, budgeted and disclosed. | Learn | Evidence | Sell |
| Signed decision receipts | Every allow or deny decision comes with a signed receipt anyone can check in a browser or with 30 lines of Python; change one byte and it fails. | Learn | Evidence | Sell |
| Skill Memory Sandbox | The Skill Memory Sandbox stops one AI skill from reading another skill's secrets. | Learn | Evidence | Sell |
| Sparselogic Compiler | It turns a chip design written in Verilog into a real FPGA bitstream, the file that configures the chip, using Yosys and Nextpnr. | Learn | Evidence | Sell |
| Spatial Synthesizer | It builds a 3D scene, adds a mesh and processes it. | Learn | Evidence | Sell |
| SPEND GOVERNOR | SPEND GOVERNOR trips an AI agent before it overspends: nested budgets, rate limits and loop detection, and only a person can reset it. | Learn | Evidence | Sell |
| Stcn | It reads a description of a physical scene and uses a language model to list objects, hazards and what may happen next. | Learn | Evidence | Sell |
| Supply-Chain Guard | Supply-Chain Guard stops AI coding agents from installing fake or look-alike software and from switching off their own safety prompts. | Learn | Evidence | Sell |
| SurfGuard | SurfGuard reviews a browser agent's plan before it runs and makes payments, deletions and account changes wait for a signed human approval. | Learn | Evidence | Sell |
| Swarm Collusion Defense | Swarm Collusion Defense makes sure a group of AI agents can't approve things for each other: agreement between agents is never permission. | Learn | Evidence | Sell |
| Swarm Fleet Quarantine | Fleet Quarantine stops a rogue AI agent, a swarm or everything, signed, and release needs two different people. | Learn | Evidence | Sell |
| Swarm KEYSTONE | Swarm KEYSTONE checks how a team of AI agents hands work and authority to each other, and finds loops, laundering and injected hand-offs. | Learn | Evidence | Sell |
| Swarm Orchestrator | It turns a map of which agents may talk to which into real Kubernetes network rules. | Learn | Evidence | Sell |
| Synthetic Fine Tuner | It generates made-up training data in the shape you need. | Learn | Evidence | Sell |
| Talos Coder | A coding-agent service that opens a sandboxed session per user. The kit shows a session opening, not code quality. | Learn | Evidence | Sell |
| Talos Evolve | A language model reads a piece of code and explains what it does, how fast it is and its main issue. | Learn | Evidence | Sell |
| Talos Rag | It stores documents so an AI can look things up in them, and lets you see the stored pieces. | Learn | Evidence | Sell |
| Talos Redteam | It runs red-team test jobs by attack category. The kit shows the categories and job list being served. | Learn | Evidence | Sell |
| Talos Shield | A fast filter that checks prompts for injection and jailbreak patterns before they reach the AI. | Learn | Evidence | Sell |
| Talos Vectorsearch | Fast 'find the most similar item' search over the number patterns AI uses. | Learn | Evidence | Sell |
| Talos Verify | It uses a math solver to prove two hardware circuit designs behave the same. | Learn | Evidence | Sell |
| Talosai Quantize | It shrinks an AI model's numbers to 8 bits and measures the error this introduces. | Learn | Evidence | Sell |
| Taloscode Migrate | It converts code between languages, such as old COBOL to Python, and produces a migration report. | Learn | Evidence | Sell |
| Taloscode Review | It reviews code and returns metrics, issues and an A to F grade. | Learn | Evidence | Sell |
| Taloscode Security | It scans Python code structure for common security flaws such as injection and hardcoded secrets. | Learn | Evidence | Sell |
| Taloscrypt Keymgmt | It manages encryption keys from start to end: create, rotate, revoke, track expiry, with an audit log. | Learn | Evidence | Sell |
| Taloscrypt Mesh | It lets two machines agree a shared secret and send each other encrypted messages. | Learn | Evidence | Sell |
| Taloscrypt Pqc | Experimental cryptography meant to resist future quantum computers: signatures, key exchange and a strength estimate. | Learn | Evidence | Sell |
| Taloscrypt Store | An encrypted key-value store kept separate for each customer. | Learn | Evidence | Sell |
| Taloscrypt Vault | It generates key pairs and encrypts and decrypts data with them. | Learn | Evidence | Sell |
| Talosdata Quality | It scores a dataset for completeness, uniqueness, validity and timeliness. | Learn | Evidence | Sell |
| Talosdev Archdiff | It compares the structure of two versions of a codebase and shows how dependencies and complexity changed. | Learn | Evidence | Sell |
| Talosdev Refactor | It finds code worth cleaning up and code that is never used. | Learn | Evidence | Sell |
| Talosdoc Contract | It reads a contract and pulls out parties, obligations, key dates and risky clauses. | Learn | Evidence | Sell |
| Talosfin Earningsai | It analyzes earnings-call transcripts and SEC filings and pulls out guidance. | Learn | Evidence | Sell |
| Talosfin Statarb | It tests whether two price series move together and generates signals from when they drift apart. | Learn | Evidence | Sell |
| Talosguard Intel | It finds and scores threat indicators, such as suspicious addresses, in security reports. | Learn | Evidence | Sell |
| Talosguard Logiq | It parses raw logs, groups patterns, finds anomalies and pulls out signs of compromise. | Learn | Evidence | Sell |
| Talosguard Siem | It collects security events and applies time-based rules, such as many failed logins in a short window. | Learn | Evidence | Sell |
| Taloslegal Caselaw | It extracts the issue, rule, analysis and conclusion from a case, and works with citations. | Learn | Evidence | Sell |
| Taloslogic Proof | It checks whether a conclusion really follows from a set of statements, using formal logic. | Learn | Evidence | Sell |
| Talosops Governance | It runs votes among agents or people, with ranked-choice, quadratic and delegated voting. | Learn | Evidence | Sell |
| Talosops Selfheal | It classifies a failure from logs and gives a recovery runbook with a repair time estimate. | Learn | Evidence | Sell |
| TEE Verifier | TEE Verifier checks that a sealed-hardware report really comes from the chip maker, using the maker's published root keys. | Learn | Evidence | Sell |
| Topological Data Analysis | It finds the shape of data, such as whether points form a loop, using a math method called persistent homology. | Learn | Evidence | Sell |
| Training Sandbox | Isolated environments for training runs; the demo trains a small model. | Learn | Evidence | Sell |
| Trajectorygate | It grades a finished AI agent run for wasted and risky steps, even when the run succeeded. | Learn | Evidence | Sell |
| Trust State Engine | Trust State Engine remembers how each AI agent has behaved and denies risky actions after a violation, explaining exactly why. | Learn | Evidence | Sell |
| VeriCoding (Z3) | VeriCoding mathematically proves a small function is correct for every possible input, or shows the exact input that breaks it. | Learn | Evidence | Sell |
| Vericoding Gate | It uses a math solver to prove whether a code change altered behavior. | Learn | Evidence | Sell |
| Verify-yourself page | The verify-yourself page lets anyone run 11 live checks on CAIN-42 from their own browser, so they don't have to believe us. | Learn | Evidence | Sell |
| VeritasEngine | VeritasEngine checks an AI agent's output with fixed rules; one failed check and the output is refused. | Learn | Evidence | Sell |
| VibeGuard | VibeGuard reviews Python that an AI assistant just wrote, catches invented packages, swallowed errors and fake scores, and only signs an AI repair that is clean and changed nothing else. | Learn | Evidence | Sell |
| Visual Ide | A development environment for creating projects and files. The kit shows those basic steps working. | Learn | Evidence | Sell |
| Weight Alchemist | It merges two AI model files by weighted average. | Learn | Evidence | Sell |
| WORM Evidence Notary | WORM Evidence Notary seals AI decision records into a signed package: change one record and the check fails. | Learn | Evidence | Sell |
| Zkproofvault | An AI agent commits to an action in a sealed form now, and it can be checked against the action later. | Learn | Evidence | Sell |