mqslim

Listed

Slim shadow of mathlib-quality: same workflows, minimal instructions, trusts frontier-model judgement

plugin 0 stars 0 forks Updated 3 weeks ago

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

View on GitHub

Bundles

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

Commands (5)

bstmode.md clnup.md decoproof.md devel.md mthlbl.md

Quality Score: 59/100

Stars 20%
0
Recency 20%
90
Manifest 20%
100
Documentation 15%
0
Issue Health 10%
80
License 10%
0
Description 5%
100

Details

Author
CBirkbeck
Repository
CBirkbeck/MQSlim
Created
1 months ago
Last Updated
3 weeks ago
Language
N/A
License
None