mqslim
claudeSlim shadow of mathlib-quality — same workflows, minimal instructions, trusts frontier-model judgement
1 skill · 5 commands
0
Plugin marketplace
mqslim-plugins
Slim shadow of mathlib-quality: same workflows, minimal instructions, trusts frontier-model judgement
Add this marketplace
Then install any plugin below by name — each page has its exact command.
README badge
Shows how many plugins this repo ships, and links here.
claude & codex pluginslisted