Explore Topics Trending Collections Events GitHub Sponsors

proof-artifacts

Here are 3 public repositories matching this topic...

Language: All

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 Aug 26, 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

Updated Jun 23, 2026
Rust

LeoStehlik / visual-architecture

Star

Local-first architecture artifact engine for agents: schemas, SVG/HTML, receipts, source evidence, PR deltas.

svg codex ai-agents technical-documentation local-first architecture-diagrams architecture-review source-evidence agent-skills agent-workflows workflow-diagrams openclaw clawhub deterministic-rendering architecture-artifacts technical-diagrams proof-artifacts pr-delta

Updated Aug 28, 2026
Python

Improve this page

Add a description, image, and links to the proof-artifacts topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-artifacts topic, visit your repo's landing page and select "manage topics."

Learn more