YulTracer is a game-semantics-based bounded safety (assertion) checker for Yul written in OCaml and compiled using the Dune build system.
-
Updated
Apr 30, 2026 - Solidity
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
Social Media Checkers – A comprehensive Windows desktop tool for verifying and analyzing multiple social media accounts with efficiency and security.
🔐 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.
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.
Document processing API with automated resizing, validation, and verification using Google Cloud Vision for intelligent image analysis
Fansly / Patreon / Adult Checkers – Advanced multi-platform checker for account verification, premium content access, and batch processing, updated for 2026.
Streaming Services Checkers – A comprehensive Windows tool for verifying accounts on Netflix, Disney+, Hulu, Spotify, and more.
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."