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.
67 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
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
Detects candidate fraud and verifies skills before hiring
Rule-checking layer that returns a TRUE, FALSE or UNKNOWN verdict on AI output
Verified, governed AI agents for mission-critical enterprise systems
Face recognition and liveness SDKs for identity verification
Human feedback and study participants for AI training, evals and research
Enterprise marketing platform with agents for search and local visibility
Invisible bot and fraud detection based on behavioral AI
Cold email and sales engagement platform with an AI email writer
Edge computer vision for mining, logistics and food service
AI satellite monitoring and verification for nature-based carbon projects
AI-written validation report for a new business idea
Physical AI platform that turns industrial sensor data into decisions
Physical AI that captures shop-floor know-how and verifies work steps
AI agents for disputes, KYC and support at financial firms
AI that calls health insurers and answers patient phone lines
Sponsored
Your AI tool here
A Featured launch puts your tool in this spot and on the home page for a week.