Origin Apps vs Lean Axiom Provenance
Origin Apps is a plugin bundle for AI coding tools published by Cursor. Marketplaces we read that list it: 1 (Cursor: cursor/plugins). Lean Axiom Provenance is a plugin bundle for AI coding tools published by zengineco. Marketplaces we read that list it: 1 (Community GitHub marketplaces). As of our marketplace pass on 2026-10-16. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  Lean Axiom Provenance | |
|---|---|---|
| Cursor: cursor/plugins | Listed Version: 0.1.0 Forks (GitHub): 1 133 Stars (GitHub): 11 569 Not marked · First seen |
Not listed |
| Community marketplace vince-gonzalez/gonzalgo | Not listed | Not seen in the last pass Version: not stated Forks (GitHub): 0 Stars (GitHub): 2 Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | Origin Apps | Lean Axiom Provenance |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 11 569 (better) | 2 (worse) |
| Forks (GitHub) (differs) | 1 133 (better) | 0 (worse) |
| Last release | Not published | Not published |
| Where it runs | Installs as a plugin bundle | Installs as a plugin bundle |
| Transport | Not stated | Not stated |
| Tools it declares | Not published | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | 2 | 4 |
| Licence (differs) | MIT | Apache-2.0 |
| Repository (differs) | github.com/cursor/plugins | github.com/zengineco/gonzalgo |
| Changes in the last 7 days (differs) | 0 | 2 |
| First seen (differs) | 2026-10-11 | 2026-10-14 |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
Origin Apps
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 plans the port of an existing GitHub App.
Lean Axiom Provenance
Find out what a Lean 4 project rests on and why — inherited sorry, native_decide, and which step introduced an axiom
How to run each
Origin Apps
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Lean Axiom Provenance As a Codex plugin
codex plugin marketplace add vince-gonzalez/gonzalgoCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: Origin Apps · What it can do: Lean Axiom Provenance · Compare two other plugins
Data comes from the public marketplace file https://github.com/cursor/plugins/blob/HEAD/.cursor-plugin/marketplace.json. Data comes from public marketplace files in GitHub repositories of their authors. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.