szch79 contributor

Lean4 Skills Lite

szch79/agent-marketplace·by szch79

Lightweight Lean 4 skills — library search, proof assistance

More from My Claude Marketplace

This week for builders

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.