taskhawk-systems/kevros-formal-verification
Formal verification of the Kevros AI Governance Enforcement Kernel. 1.94B states exhaustively checked (TLC), 20 machine-checkable theorems (Lean 4, 0 sorry), 71 proofs across 6 layers, zero violations. Reproducible under $4 in compute.
Stars
1
Forks
—
Language
Lean
License
MIT
Last pushed
Apr 04, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/taskhawk-systems/kevros-formal-verification"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
killop/anything_about_game
A wonderful list of Game Development resources.
mohdibrahimaiml/epi-recorder
The PDF for AI Evidence
liyupi/mianshiya
持续维护的企业面试题库网站，帮你拿到满意 offer！⭐️ 2026年最新Java面试题、前端面试题、AI大模型面试题、AI...
shipstatic/ship
The simplest way to publish a static site.
lintsinghua/claude-code-book
《御舆：解码 Agent Harness》42万字拆解 AI Agent 的Harness骨架与神经 —— Claude Code 架构深度剖析，15 章从对话循环到构建你自己的 Agent...