mathlib-quality vs. HefestoAI
mathlib-quality es un paquete de plugins para herramientas de programación con IA publicado por CBirkbeck. Marketplaces que leemos y que lo publican: 1 (Community GitHub marketplaces). HefestoAI es un servidor MCP publicado por artvepa80. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Según nuestra pasada por los marketplaces del 2026-10-25. Este par lo eligió un lector, no nuestra regla de comparación, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace |  HefestoAI | |
|---|---|---|
| Marketplace de la comunidad cbirkbeck/mathlib-quality | Publicado Versión: 0.81.1 Forks (GitHub): 5 Estrellas (GitHub): 36 Sin marca · Visto por primera vez |
No figura |
| Official MCP Registry | No figura | Publicado Versión: 4.20.3 Forks (GitHub): 2 Estrellas (GitHub): 7 Sin marca · Visto por primera vez |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Los datos lado a lado
| Dato | mathlib-quality | HefestoAI |
|---|---|---|
| Marketplaces que lo listan | 1 | 1 |
| Estrellas (GitHub) (distinto) | 36 (mejor) | 7 (peor) |
| Forks (GitHub) (distinto) | 5 (mejor) | 2 (peor) |
| Última versión (distinto) | 2026-10-25 (mejor) | 2026-10-24 (peor) |
| Dónde se ejecuta (distinto) | Se instala como paquete de plugins | Servidor remoto (hefestoai.narapallc.com/api/mcp-protocol) |
| Transporte (distinto) | Sin indicar | Streamable HTTP |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide | No publicado | No publicado |
| Hooks que ejecuta (distinto) | 2 | No publicado |
| Partes del paquete (distinto) | 28 | No es un paquete |
| Licencia (distinto) | MIT | Sin indicar |
| Repositorio (distinto) | github.com/cbirkbeck/mathlib-quality | github.com/artvepa80/agents-hefesto |
| Cambios en los últimos 7 días | 2 | 2 |
| Visto por primera vez (distinto) | 2026-10-14 | 2026-10-11 |
| Endpoint en la última comprobación (distinto) | sin endpoint remoto que comprobemos | Respondió hace 44 h |
Las filas en las que difieren tienen fondo tintado y valores en negrita. Donde los propios datos dicen qué valor es mejor (más marketplaces, una cifra mayor del mismo marketplace, una versión más reciente, una marca verified en un marketplace que lista a ambos), el mejor se marca además en verde con ▲ y el peor en rojo con ▼. Dónde se ejecuta, el transporte, las herramientas, los ajustes, los hooks, las partes del paquete, la licencia y los cambios de la semana se marcan solo como diferentes: más o menos no es mejor en sí.
Qué dice cada uno que hace
mathlib-quality
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
HefestoAI
HefestoAI checks AI-generated code before you ship it.
Cómo ejecutar cada uno
mathlib-quality Como plugin de Claude Code
/plugin marketplace add cbirkbeck/mathlib-quality
/plugin install mathlib-quality@mathlib-quality-pluginsHefestoAI Como servidor MCP remoto
claude mcp add --transport http hefestoai https://hefestoai.narapallc.com/api/mcp-protocolComandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Solo HefestoAI tiene un endpoint remoto que comprobamos. Cómo comprobamos los endpoints
Herramientas que declara cada uno
Ni los marketplaces de mathlib-quality ni su endpoint enumeran herramientas, así que no comparamos herramientas.
Ajustes que pide cada uno
Los marketplaces de ninguno de los dos publican los ajustes que pide.
Qué puede hacer: mathlib-quality · Qué puede hacer: HefestoAI · Comparar otros dos plugins
Datos de Community GitHub marketplaces. Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.