A toolchain for software integrity protection including self-checksumming, control flow integrity, result checking, oblivious hashing and a sample program protected using Intel SGX
Standard defining graded, provable consistency among Spec, Code, and Tests
Code Integrity Auditor AI skill — audits the wiring of any codebase (dead controls, TOCTOU, fail-open, blind watchdogs, unrendered states) on Stafford Beer's Viable System Model. Claude Code · Codex · Cursor.
🕵️ Forensic analysis tool to detect fake GitHub stars. Analyze patterns, calculate trust scores, and expose star manipulation with statistical evidence.
Implementation-independent conformance evidence for agent-run integrity.
In-Toto — independent third-party profile of a public API surface, by API Evangelist. in-toto is a CNCF graduated framework for securing the integrity of software supply chains. It provides a specification for generating and verifying metadata about each step in a software supply chain, from source code to deployment.
To associate your repository with the software-integrity topic, visit your repo's landing page and select "manage topics."