kitio.aiAll AI tools
Every tool in the directory (10,042). Filter by category and price, or search by what you want to do.
Every tool in the directory (10,042). Filter by category and price, or search by what you want to do.
197 tools for “Formal Verification”
Few tools use these exact words, so these also include tools that match what you mean.
AI identity verification, biometrics and fraud detection for onboarding
AI identity verification, KYC and AML screening for regulated businesses
Business verification, KYB and fraud checks in a single lookup
AI exam proctoring and identity verification for online tests
Deepfake detection for identity verification and fraud teams
Liveness detection and face matching to stop deepfakes in onboarding
Liveness, deepfake detection and face matching for identity checks
Detects candidate fraud and verifies skills before hiring
Rule-checking layer that returns a TRUE, FALSE or UNKNOWN verdict on AI output
AI governance platform for EU AI Act, ISO 42001 and NIST work
Face recognition and liveness SDKs for identity verification
Document parsing and extraction APIs for AI agents and pipelines
Deepfake and AI caller detection for calls, meetings and files
Detector for AI-made text, images, audio, music, video and deepfakes
Checks whether images, video and voice recordings are AI-generated
Sentence rewriter that suggests clearer, shorter or more formal phrasing
AI knowledge base that answers questions and keeps content verified
Identity, monitoring and audit trails for autonomous AI agents
Verified, governed AI agents for mission-critical enterprise systems
Has one AI's answer fact-checked by other models before you use it
AI SRE agents that verify deploys and fix production regressions
Sponsored
Your AI tool here
A Featured launch puts your tool in this spot and on the home page for a week.