mathlib-quality
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
Pacote de plugins · de CBirkbeck
Resumo
mathlib-quality é um pacote de plugins para ferramentas de programação com IA publicado por CBirkbeck. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). Vimos pela primeira vez em 2026-10-14 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-15.
O que pede
- Instala-se como pacote de plugins
- Hooks declarados: 2
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como plugin do Claude Code
Gerado a partir do que Community GitHub marketplaces declara.
/plugin marketplace add cbirkbeck/mathlib-quality
/plugin install mathlib-quality@mathlib-quality-pluginsOnde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Marketplace da comunidade cbirkbeck/mathlib-quality (Abrir o código no GitHub) | Listado | 0.77.0 | Forks (GitHub): 5 Estrelas (GitHub): 35 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Listado em um marketplace da comunidade
| Marketplace | Repositório | Estrelas (GitHub) |
|---|---|---|
| mathlib-quality-plugins | cbirkbeck/mathlib-quality | 35 |
O que o pacote contém
Conforme publicado em Community GitHub marketplaces.
Skills: 2
mathlib-qualityvoyager
Comandos: 24
beastmodeblueprintbump-mathlibbuzzcleanupcleanup-allcontributedecompose-proofdevelopexpert-reviewfix-pr-feedbackgeneralise
Mostrar mais 12
integrate-learningsmathlibableoverviewpre-submitproject-statusredteamself-reviewsetup-chatgptsplit-filetauprteachunformalise
Hooks: 2
PreToolUseStop
O que mudou
- Passou a ser um produto que acompanhamos
- Community GitHub marketplaces: apareceu
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
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 semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em 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…
Listado em 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
Listado em 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
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Community GitHub marketplaces. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.