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

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