Engineering vs. Lean Axiom Provenance
Engineering es un paquete de plugins para herramientas de programación con IA publicado por Anthropic. Marketplaces que leemos y que lo publican: 1 (Claude: knowledge-work-plugins). Lean Axiom Provenance es un paquete de plugins para herramientas de programación con IA publicado por zengineco. Marketplaces que leemos y que lo publican: 1 (Community GitHub marketplaces). Según nuestra pasada por los marketplaces del 2026-10-15. 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 |  Lean Axiom Provenance | |
|---|---|---|
| Claude: knowledge-work-plugins | Publicado Versión: 1.2.0 Forks (GitHub): 3 369 Estrellas (GitHub): 29 771 Sin marca · Visto por primera vez |
No figura |
| Marketplace de la comunidad vince-gonzalez/gonzalgo | No figura | Publicado Versión: sin indicar Forks (GitHub): 0 Estrellas (GitHub): 2 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 | Engineering | Lean Axiom Provenance |
|---|---|---|
| Marketplaces que lo listan | 1 | 1 |
| Estrellas (GitHub) (distinto) | 29 771 (mejor) | 2 (peor) |
| Forks (GitHub) (distinto) | 3 369 (mejor) | 0 (peor) |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta | Se instala como paquete de plugins | Se instala como paquete de plugins |
| Transporte | Sin indicar | Sin indicar |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide | No publicado | No publicado |
| Partes del paquete (distinto) | 20 | 4 |
| Licencia (distinto) | Sin indicar | Apache-2.0 |
| Repositorio (distinto) | github.com/anthropics/knowledge-work-plugins | github.com/zengineco/gonzalgo |
| Cambios en los últimos 7 días (distinto) | 0 | 2 |
| Visto por primera vez (distinto) | 2026-10-11 | 2026-10-14 |
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
Engineering
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
Lean Axiom Provenance
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
Cómo ejecutar cada uno
Engineering Como plugin de Claude Code
/plugin marketplace add anthropics/knowledge-work-plugins
/plugin install engineering@knowledge-work-pluginsLean Axiom Provenance Como plugin de Codex
codex plugin marketplace add vince-gonzalez/gonzalgoComandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Herramientas que declara cada uno
Los marketplaces de ninguno de los dos publican una lista de herramientas, así que no hay nada que comparar.
Ajustes que pide cada uno
Los marketplaces de ninguno de los dos publican los ajustes que pide.
Qué puede hacer: Engineering · Qué puede hacer: Lean Axiom Provenance · Comparar otros dos plugins
Datos de Claude: knowledge-work-plugins. Datos de Community GitHub marketplaces. 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.