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.
16 tools for “Formal Verification”
Few tools use these exact words, so these also include tools that match what you mean.
AI identity verification, KYC and AML screening for regulated businesses
AI governance platform for EU AI Act, ISO 42001 and NIST work
Deepfake and AI caller detection for calls, meetings and files
Face-based identity verification and recognition API
Checks whether images, video and voice recordings are AI-generated
Typing biometrics for 2FA and continuous employee authentication
Finds who to contact on LinkedIn and writes the outreach message
SEC filings search with verified citations for Claude and ChatGPT
AI legal document translator that cross-checks 22 models
AI assistant for electronic component search, BOMs and ECAD
Pay-per-check deepfake detection for video, photos and voice
Deepfake detection and watermarking for audio, video and images
Packaging and label artwork management with AI proofing and compliance checks
Sponsored
Your AI tool here
A Featured launch puts your tool in this spot and on the home page for a week.