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

Results for “formal verification”

34 tools in the directory · Updated

“formal verification”Runs on APIShowing 34 tools
  • AU10TIX Identity Verification Suiteby AU10TIXAI-assisted identity verification and fraud screening for business onboarding.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
  • Gitarby SonarAI code change verification agent for pull requests and CI$20+/user/moFree trial
  • Amazon Connect Healthby AmazonAWS agentic AI for patient verification, scheduling, clinical documentation and medical coding$99+/moFree trial
  • FaceMe eKYCby CyberLinkCompare live identity captures with documents during onboardingContact sales
  • Tinfoil Inferenceby TinfoilYC X25Call AI models through an attested confidential-inference APIPaid
  • fileShieldby fileAIProcess claims and financial-service cases with governed AI agentsContact sales
  • Bria APIby BriaDeveloper platform for generating and editing images and video via API, SDKs and MCP.Freemium
  • Inscribeby InscribeAssess financial documents for alteration and AI-generated fraudContact sales
  • Findemby FindemAI people intelligence for hiring, search, and workforce planningContact sales
  • 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
  • Clarity AIby Clarity AIAI-driven extra-financial data and analytics for ESG, SFDR, and climate decisionsContact sales
  • Paxton AIby Paxton AIAI for litigation teams: matter analysis, research and draftingPaidFree trial
  • 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
  • Veriff Biometric Authenticationby VeriffVeriff Biometric Authentication checks returning users with selfie-based facial matching and liveness detection.Unknown
  • CoCounsel Legalby Thomson ReutersAI legal assistant that reasons from Westlaw, Practical Law, and your firm's documentsContact sales
  • Perplexityby PerplexityAI answer engine that searches the web and cites its sourcesFreemium
  • FaceIDby MEGVIIVerify a person with face comparison and liveness checksFreemium
  • Face++by MEGVIIIntegrate face, body and text analysis into applicationsFreemium
  • Horizonby LabelboxRL training environments and evaluation data for AI reasoning and agent workContact sales
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