NewAsk Claude or ChatGPT about AI tools, and they can check Orca.Add Orca to your AI assistant
ToolsCompaniesAbout

Results for “formal verification”

28 tools in the directory · Updated

“formal verification”Ways to use: APIUpdated: last 30 daysShowing 28 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
  • FaceMe Platformby CyberLinkServe face-verification APIs from enterprise infrastructureContact sales
  • Snapptby SnapptAI-assisted applicant verification and fraud detection for multifamily housing.Contact sales
  • Amazon Connect Healthby AmazonAWS agentic AI for patient verification, scheduling, clinical documentation and medical coding$99+/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
  • Innovaccer Gravityby InnovaccerHealthcare AI orchestration platform for enterprise data, agents, and governed operationsContact sales
  • Inscribeby InscribeAssess financial documents for alteration and AI-generated fraudContact sales
  • SEONby SEONFraud prevention and AML platform with AI-assisted investigation tools.$699+/mo
  • Clarity AIby Clarity AIAI-driven extra-financial data and analytics for ESG, SFDR, and climate decisionsContact sales
  • Novita AIby NovitaAIHosted model APIs, GPU infrastructure and agent sandboxes on one platformPay as you go
  • NEAR AI Cloudby NEAR AIPrivate AI inference with hardware-signed proof on every responsePay as you go
  • Resemble AIby Resemble AIDetect and watermark AI-generated audio, image and videoFreemium
  • 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
  • FaceIDby MEGVIIVerify a person with face comparison and liveness checksFreemium
  • Face++by MEGVIIIntegrate face, body and text analysis into applicationsFreemium
  • Infinitus AI agentsby InfinitusAutomate healthcare communications across patient and payer workflowsContact sales
  • Guruby GuruGoverned, verified company knowledge for people and AI toolsContact sales
  • Google Antigravityby GoogleGoogle's agentic development platform with a desktop app, terminal CLI, IDE extensions, and Python SDK.Freemium
  • 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
Ask this in Claude or ChatGPT next time

Add Orca to your assistant once. Then ask “formal verification” there, and it checks these same records.

Add to ClaudeOpens Claude · Continue, then AddAdd to ChatGPTNot in ChatGPT’s plugin directory yet · see how