Zetetic-Dhruv/formal-learning-theory-kernel
Used frontier LLM (supervised) + tools from my research program to force learning theory through proof assistant formalizing 210 theorems to 14,945 LOC of Lean. Found 5 false textbook assumptions, 3 irreducible type-theoretic fractures, and the hidden measure-theoretic cost of infinite domains.
Stars
1
Forks
—
Language
Lean
License
—
Category
Last pushed
Mar 27, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/Zetetic-Dhruv/formal-learning-theory-kernel"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
whataboutyou-ai/eunomia
Eunomia is the open-source authorization layer for AI Agents
DariuszNewecki/CORE
Governance runtime enforcing immutable constitutional rules on AI coding agents
rafapra3008/cervellaswarm
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent...
rokabytedev/proofrun
Teach your coding agent to prove its own work — evidence, not claims
OrchardHarmonics/orchard-kit
Complete alignment and safety architecture for autonomous AI agents. Membrane security,...