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

Results for “formal verification”

61 tools in the directory · Updated

“formal verification”Showing 61 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
  • Synopsys VSO.aiby SynopsysImprove verification coverage and reduce redundant simulation workUnknown
  • Gitarby SonarAI code change verification agent for pull requests and CI$20+/user/moFree trial
  • SiteAwareby SiteAwareAI-assisted construction quality management and digital verification platform.Contact sales
  • Snapptby SnapptAI-assisted applicant verification and fraud detection for multifamily housing.Contact sales
  • Pearl RCMby PearlAI insurance verification and claim preparation for dental practicesContact sales
  • Amazon Connect Healthby AmazonAWS agentic AI for patient verification, scheduling, clinical documentation and medical coding$99+/moFree trial
  • Code Metalby CodeMetalCode Metal translates, verifies, and optimizes complex software for customer-defined requirements and target hardware.Contact sales
  • ChipAgentsby ChipAgentsAgentic AI platform for digital and analog semiconductor design.Contact sales
  • 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
  • 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
  • Magicalby MagicalDeploy AI agents for repetitive healthcare operationsContact 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
  • Learna AIby Learna AIAI language tutors for speaking practice and personalized lessonsUnknown
  • TrueMediaby TrueMedia.orgA beta platform for assessing whether online media is manipulated or false.Free
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