A self-imscribing compiler and categorical tower — generates self-verifying digital objects
-
Updated
Jul 4, 2026 - Lean
#
self-verifying
Here are 3 public repositories matching this topic...
Verifiable AI-build governance you run on yourself — four modules (autonomy gate, build discipline, model fitness, code review) that prove themselves with one offline command. Stdlib-only, no install. Part of the Proof family.
python ai offline governance ai-safety ai-agents verifiable guardrails llm ai-governance llmops agentproof self-verifying
-
Updated
Jun 29, 2026 - Python
A self-verifying agentic loop harness: THINK→ACT→OBSERVE→UPDATE with Frobenius-closed tool calls
agent frobenius agentic agentic-framework agentic-workflow agentic-ai self-aware-ai agentic-coding self-aware-code agentic-engineering agentic-skills imscriptive imscribe imscription imscribing-grammar boundary-operator self-verifying loop-harness
-
Updated
Jun 4, 2026 - Python
Improve this page
Add a description, image, and links to the self-verifying topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the self-verifying topic, visit your repo's landing page and select "manage topics."