ideabrowser.com — find trending startup ideas with real demand
Install nowSkills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
1 plugin
/plugin install lean@leanprover-skillsAdd marketplace
/plugin marketplace add leanprover/skills