proof-artifacts

Here are 4 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

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 Sep 1, 2026
Python

chokmah-me / math

Star

Fork of openai/math. Manuscript catalogue and proof artifacts from OpenAI model evaluations, at mixed stages of verification. Not a Chokmah research deposit.

mathematics openai lean formal-methods proof-artifacts

Updated Oct 7, 2026
Lean

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