Results for “formal verification”

16 tools in the directory · Updated 2 Nov 2026

“formal verification”Ways to use: SDK / libraryShowing 16 tools

AU10TIX Identity Verification Suiteby AU10TIXAI-assisted identity verification and fraud screening for business onboarding.Contact sales
Incode Identity Verificationby Incode TechnologiesAI-powered identity verification combining document, biometric, and liveness checks.Contact sales
Veriff Identity Verificationby VeriffAI-supported identity and document verification for business onboarding.$49+/moFree trial
Tinfoil Inferenceby TinfoilYC X25Call AI models through an attested confidential-inference APIPaid
Bria APIby BriaDeveloper platform for generating and editing images and video via API, SDKs and MCP.Freemium
SEONby SEONFraud prevention and AML platform with AI-assisted investigation tools.$699+/mo
Ragasby RagasOpen-source library for evaluating LLM applications with metrics and eval loopsUnknown
Feedzaiby FeedzaiAI fraud and financial crime prevention for banks and fintechsContact sales
Veriff Biometric Authenticationby VeriffVeriff Biometric Authentication checks returning users with selfie-based facial matching and liveness detection.Unknown
SpeechBrainby SpeechBrainOpen-source Python toolkit for speech and conversational AI research and development.Free
Face++by MEGVIIIntegrate face, body and text analysis into applicationsFreemium
Guruby GuruGoverned, verified company knowledge for people and AI toolsContact sales
DeepL APIby DeepLDeveloper API for text, document, writing and voice translationFreemium
Amazon Rekognitionby AmazonImage and video analysis APIs for labels, faces, text, and content moderationPay as you go
Reality Defenderby Reality DefenderYC W22Deepfake detection API and platform for audio, video, images, and callsFreemium
Reductoby ReductoYC W24Parse complex documents and extract structured data with citationsPay as you go