agentmods.dev

InternetMaximalism/lean-reinforced-concrete

Set of agent skills of Lean code generation for software development

Open on GitHub
17Stars on the repository
2Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

lean-formal-audit

01

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…

not rated 17 2mo ago A 216 tokens

lean-security-audit

02

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…

not rated 17 2mo ago A 0 tokens