MockHero — generate realistic test data with one API call. 156 field types, 22 locales, JSON/CSV/SQL output.
Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving
1 plugin
by Alok Singh
/plugin install lean4@beneficial-ai-foundation-lean4-claude-plugin
Comments