MockHero — generate realistic test data with one API call. 156 field types, 22 locales, JSON/CSV/SQL output.
Try FreeMockHero — generate realistic test data with one API call. 156 field types, 22 locales, JSON/CSV/SQL output.
Try FreeSkills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
1 plugin
/plugin install lean@leanprover-skills