YulTracer is a game-semantics-based bounded safety (assertion) checker for Yul written in OCaml and compiled using the Dune build system.
Automated bibliography reference verification for manuscripts against CrossRef and PubMed
🔐 Advanced Discord verification system with CAPTCHA, account age checks, role automation, logging, anti-alt protection, customizable verification flows, and production-ready security features. Designed for large communities that need fast, secure, and reliable member verification.
Document processing API with automated resizing, validation, and verification using Google Cloud Vision for intelligent image analysis
The official open-standard viewer for verifying TrustStroke evidence logs. Provides 0.5ms-precision synchronized playback of physical/logical input layers and cryptographic chain validation.
Add a description, image, and links to the verification-tool topic page so that developers can more easily learn about it.
To associate your repository with the verification-tool topic, visit your repo's landing page and select "manage topics."