InternetMaximalism

InternetMaximalism/lean-reinforced-concrete

Skill Claude CodeCodex

Audit and verify software systems in any domain — cryptographic protocols, ZK circuits, smart contracts, distributed systems, business logic (payments, inventory, access control), embedded systems, APIs, and more — by formalizing them in Lean 4. Use not only for auditing existing implementations but also for product…

InternetMaximalism/lean-reinforced-concrete

Skill Claude CodeCodex

A follow-on skill for deeper security auditing once a system has been formalized in Lean (e.g. by lean-formal-audit and the audit/ folder exists). It turns the existing Lean formalization into an offensive tool: running Lean code (#eval / decide / #print axioms), using reasoning to form attack hypotheses, doubting and…