Public, runnable tests for the claims of a private AI-built system: 88 components, each with one claim, a frozen input, a local check, and a readable receipt. Companion to the Lean repo plectis-lean-erdos249-257.
developer-tools observability ai-agents local-first ai-workflow agent-runtime evidence-trail plectis
-
Updated
Jul 21, 2026 - Python