mathlib-quality
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
Lot de plugins · par CBirkbeck
Aperçu
mathlib-quality est un lot de plugins pour les outils de code IA publié par CBirkbeck. Places de marché que nous lisons et qui le référencent : 1 (Community GitHub marketplaces). Nous l'avons vu pour la première fois le 2026-10-14 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-15.
Ce qu'il demande
- S'installe comme lot de plugins
- Hooks : 2
Ce qu'il déclare, demande et exécute, en détail
N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.
Fonctionne avec
- Claude Code
D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.
Connecter
Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.
En plugin Claude Code
Construit à partir de ce que déclare Community GitHub marketplaces.
/plugin marketplace add cbirkbeck/mathlib-quality
/plugin install mathlib-quality@mathlib-quality-pluginsOù il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Place de marché communautaire cbirkbeck/mathlib-quality (Ouvrir la source sur GitHub) | Référencé | 0.77.0 | Forks (GitHub): 5 Étoiles (GitHub): 35 |
Non marqué |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Listé dans une place de marché communautaire
| Place de marché | Dépôt | Étoiles (GitHub) |
|---|---|---|
| mathlib-quality-plugins | cbirkbeck/mathlib-quality | 35 |
Quelles places de marché nous lisons et comment nous les vérifions
Ce que contient le lot
Tel que publié sur Community GitHub marketplaces.
Skills: 2
mathlib-qualityvoyager
Commandes: 24
beastmodeblueprintbump-mathlibbuzzcleanupcleanup-allcontributedecompose-proofdevelopexpert-reviewfix-pr-feedbackgeneralise
Afficher les autres : 12
integrate-learningsmathlibableoverviewpre-submitproject-statusredteamself-reviewsetup-chatgptsplit-filetauprteachunformalise
Hooks: 2
PreToolUseStop
Ce qui a changé
- Est devenu un produit que nous suivons
- Community GitHub marketplaces: apparu
Plugins similaires
Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.
-
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
-
Active coding discipline enforcer based on Karpathy's 4 principles: surface assumptions, simplify, make surgical changes, define verifiable goals. Ships 4 Python tools…
-
Claude Code skills that keep AI-written code short and honest. Delete before you add, earn every line.
-
patchwork — Codebase Conventions for AI Agents
Scan any codebase, generate CONVENTIONS.md, expose conventions as MCP tools for AI agents.
-
Enforces clean code principles across your project and fixes the code for you - not just flags what's wrong. Ships with 14 plain-language rules (formal textbook names in…
-
Send your implementation plan to OpenAI Codex CLI for iterative review. Claude and Codex go back-and-forth until Codex approves the plan.
-
Runs an adaptive, project-aware code-review workflow and carries Google's engineering code-review playbook it applies. The workflow profiles the project, detects its real…
-
Interviews you about your coding preferences, analyzes your actual codebase, and generates personalized coding standards that Claude Code enforces automatically. Includes a…
-
A Claude Code skill that reviews codebases top-down: WHY (goal) → WHAT (architecture) → HOW (implementation) → improvements ranked by leverage. The antidote to surface-level LLM…
-
Multi-model takeover review for Claude Code. OpenCode reviewers race to take over, implement in isolated worktrees, you approve, it lands in your tree.
Plugins similaires par place de marché
La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?
Référencé sur Claude Code: claude-plugins-community (5)
-
Enforces clean code principles across your project and fixes the code for you - not just flags what's wrong. Ships with 14 plain-language rules (formal textbook names in…
-
Send your implementation plan to OpenAI Codex CLI for iterative review. Claude and Codex go back-and-forth until Codex approves the plan.
-
Interviews you about your coding preferences, analyzes your actual codebase, and generates personalized coding standards that Claude Code enforces automatically. Includes a…
-
A Claude Code skill that reviews codebases top-down: WHY (goal) → WHAT (architecture) → HOW (implementation) → improvements ranked by leverage. The antidote to surface-level LLM…
-
Principles and rules for writing faithful scientific code. Scientific code serves truth, not users. This plugin teaches Claude the fundamental differences between scientific and…
Référencé sur Claude Code: claude-plugins-official (5)
-
Comprehensive PR review agents specializing in comments, tests, error handling, type design, code quality, and code simplification
-
Agent that simplifies and refines code for clarity, consistency, and maintainability while preserving functionality. Focuses on recently modified code.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
-
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
Référencé sur Claude: knowledge-work-plugins (5)
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
-
Keep your coding agent up to date with the latest web best practices
-
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
Référencé sur Codex: openai-curated (openai/plugins) (5)
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
Qodo setup, code intelligence, and review workflows.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Use MagicPath to find, inspect, install, create, and edit UI components from Codex.
Référencé sur Community GitHub marketplaces (5)
-
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
-
Active coding discipline enforcer based on Karpathy's 4 principles: surface assumptions, simplify, make surgical changes, define verifiable goals. Ships 4 Python tools…
-
Claude Code skills that keep AI-written code short and honest. Delete before you add, earn every line.
-
Runs an adaptive, project-aware code-review workflow and carries Google's engineering code-review playbook it applies. The workflow profiles the project, detects its real…
-
Multi-model takeover review for Claude Code. OpenCode reviewers race to take over, implement in isolated worktrees, you approve, it lands in your tree.
Référencé sur Copilot CLI: github/awesome-copilot (5)
-
Analyze any repository and generate AI-ready configuration — AGENTS.md, copilot-instructions.md, CI workflows, issue templates, and more. Mines your PR review patterns and creates…
-
Visualize and guide the GitHub Copilot Modernize CLI Assess, Plan, and Execute workflow for .NET, Java, and C++ application repositories.
-
Review GitHub pull requests in a read-only canvas with AI-grouped changes, expandable diffs, and questions scoped to groups, files, or hunks.
-
Generic cross-repo command center canvas for GitHub Copilot with onboarding, focus planning, repo health, work signals, and session cleanup.
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
Référencé sur Copilot CLI: github/copilot-plugins (5)
-
Advanced Security plugin for GitHub Copilot.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
code-apps-preview
Build and deploy Power Apps code apps using React, Vite, and Power Platform connectors.
Référencé sur Cursor: cursor/plugins (5)
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Render PR diffs as review canvases grouped by importance.
-
Build apps, scripts, and automations with the TypeScript SDK.
Référencé sur Docker MCP Catalog (5)
-
Tools and resources for writing Effect code in Typescript.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
Educational Python refactoring assistant that provides guided suggestions for AI assistants.
-
Tools for interacting with Git repositories.
-
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
Référencé sur Official MCP Registry (5)
-
patchwork — Codebase Conventions for AI Agents
Scan any codebase, generate CONVENTIONS.md, expose conventions as MCP tools for AI agents.
-
Automated codebase refactoring and type safety validator.
-
Pre-commit code quality guardian. Detects semantic drift in AI-generated code.
-
dev-changes ai.openhelm/dev-changes
Turn described changes into reviewed pull requests: propose, triage, review, dependency audits.
-
Gemini-powered MCP server for code analysis.
Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.
Vous voulez cette marque pour votre plugin dans notre catalogue ?
Prouvez que vous le maintenez avec un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS, et vous pourrez afficher cette marque sur la fiche, avec des bannières à jour pour votre site et votre README. Comment se passe la vérification
Vous recevez aussi des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.
Données issues de Community GitHub marketplaces. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.