ShipProof

ShipProof SOC 2 evidence that collects itself in GitLab CI: every merge emits a signed bundle, an Open Policy Agent gate blocks releases with missing proof, and an auditor gets one packet link instead of screenshots. Live auditor dashboard · GitLab project · Demo evidence · Roadmap Why I built th...

NovaFabric: A Black-Box Recorder for AI Agents with Sealed, Replayable, Diffable and Auditable Runs

An AI agent run is no longer a function call. It is a cascade of prompts, model calls, tool invocations, file and network effects and sub-agents. When such a run misbehaves, or an auditor asks what happened, logs and traces answer poorly: they are mutable, partial and cannot be re-executed. This...

code-shield

code-shield 한국어 · English An MVP that normalizes vulnerability findings in C/C++ protocol and platform code into reproducible evidence and verifies candidate patches in isolated copies of the target. The repository is named code-shield; the public Python package and CLI use the neutral internal...