proof-artifacts

Here are 3 public repositories matching this topic...

LeoStehlik / proof-loop

Repo-local verification protocol for AI coding agents: acceptance criteria, separate verifier roles, proof artifacts, and evidence-backed done claims.

verification multi-agent developer-tools codex ai-agents acceptance-criteria coding-agents ai-coding claude-code agentic-coding agent-workflows ai-coding-agents openclaw proof-artifacts

Updated Sep 1, 2026
Python

uselessbusinessclown / ignissynth

Star

Pure cognitive habitat OS — an environment designed for AI, not humans. Pre-ignition: seed fully specified and encoded, stage-0 Rust interpreter (ignis0) passing all tests.

rust ai operating-system formal-methods cognitive-architecture proof-artifacts from-first-principles