This tool can be used as an in-the-middle software solution as a first step in the process of BMG Drawing or Engineering CAD Drawing Verification, to compare dimensional accuracy while comparing 2D Wireframe Drawing types (Input Files) with Open-Source types (Output Files).

Lossless, bit-perfect splitting of FLAC albums using CUE sheets. PCM verification and automatic tagging.

Evidence-backed structured extraction. Pull data from documents with proof of where each value came from.

A shield.io endpoint for displaying formatted SVCOMP result badges

Thin wrapper around the python builtin unittest library allowing developers to use builtin assertions for non-unittest use cases.

This repository consists of python scripts to generate RISC-V assembly for testing the Regfile + Bypass + Scoreboard in the Chromite core developed by incore semiconductors

A simple Python CAPTCHA verification app using Tkinter GUI.

SAFIRL: Shielded RL with CBF/MPC on Franka-MuJoCo — reproducible training/evaluation, STL-based verification, benchmarks, Docker/CI.

Reduce token usage and prevent agent hallucination by structuring your test outputs. Turns chaotic stdout into a strict, unmissable interface for LLMs. 🔒 enforces logic.

Graphical user interface for MS Windows' RoboCopy

Implementation of the proof system for verifying quantized graph neural network

Edit repository details Description Website Topics (separate with spaces) Include in the home page Releases Packages Deployments

Public audit trail and structured open-review index for URF manuscripts, certificates, and verification artifacts.

“U.S. Provisional Patent Application No. 63/978,753, filed February 9, 2026” Aleph Generalizable Intelligence Convergence Engine (AGICE) - Evidence-Native, Policy-Governed Reasoning with Rollback and Geometrical Multi-Dimensional Transformation (GMDT) via the Complex Operator (−i)

This is a simple and secure email-based verification bot for UNSW students and staff, hosted for free by the UNSW Security Society.

SEO es una herramienta de osint para un correo electronico.

MW-Ω Orchestrator — deterministic orchestration engine · 24 tests · Monte Carlo · dependency graphs · decision compression

This is a machine learning powered proof of payment verification script.

Python CLI tool for generating Sumsub share tokens from CSV data for bulk KYC verification with the Reap API

Verification guards for OpenAI Responses API - Verify AI agent outputs before execution