LeanWarp vs io.github.STiFLeR7/memex
LeanWarp is an MCP server published by Isagoge-Labs. Marketplaces we read that list it: 1 (Official MCP Registry). io.github.STiFLeR7/memex is an MCP server published by STiFLeR7. Marketplaces we read that list it: 3 (Official MCP Registry, Claude Code: claude-plugins-community, PyPI (MCP servers)). As of our marketplace pass on 2026-11-09. 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 |  LeanWarp |  io.github.STiFLeR7/memex |
|---|---|---|
| Official MCP Registry | Listed Version: 0.2.5 Forks (GitHub): 0 Stars (GitHub): 5 Not marked · First seen |
Listed Version: 1.0.3 Downloads/month (npm): 892 Downloads/week (npm): 144 Forks (GitHub): 0 Stars (GitHub): 12 Not marked · First seen |
| Claude Code: claude-plugins-community | Not listed | Listed Version: 0.3.2 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
| PyPI (MCP servers) | Not listed | Listed Version: 1.0.3 Downloads/month (PyPI): 255 Downloads/week (PyPI): 151 Forks (GitHub): 0 Stars (GitHub): 12 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 | LeanWarp | io.github.STiFLeR7/memex |
|---|---|---|
| Marketplaces that list it (differs) | 1 (worse) | 3 (better) |
| Stars (GitHub) (differs) | 5 (worse) | 12 (better) |
| Forks (GitHub) | 0 | 0 |
| Last release (differs) | Not published | 2026-10-27 |
| Where it runs (differs) | On your machine (leanwarp) | On your machine (stifler-memex-mcp) |
| Transport | stdio | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for (differs) | 1, secrets among them: 1 | 4, secrets among them: 2 |
| Parts of the bundle (differs) | Not a bundle | 1 |
| Licence (differs) | Not stated | MIT |
| Repository (differs) | github.com/isagoge-labs/leanwarp-sdk | github.com/stifler7/memex |
| Changes in the last 7 days (differs) | 2 | 0 |
| First seen (differs) | 2026-11-06 | 2026-10-11 |
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
LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
How to run each
LeanWarp As a local MCP server: PyPI package
claude mcp add --env "LEANWARP_API_KEY=<YOUR_LEANWARP_API_KEY>" --transport stdio leanwarp -- uvx leanwarp --project "<YOUR_PROJECT>" mcpRequires: LEANWARP_API_KEY (secret), --project
io.github.STiFLeR7/memex As a local MCP server: npm package
claude mcp add --env "GEMINI_API_KEY=<YOUR_GEMINI_API_KEY>" --env "NEO4J_PASSWORD=<YOUR_NEO4J_PASSWORD>" --env "NEO4J_URI=<YOUR_NEO4J_URI>" --env "NEO4J_USER=<YOUR_NEO4J_USER>" --transport stdio memex -- npx -y stifler-memex-mcp serve --repo .Requires: GEMINI_API_KEY (secret), NEO4J_PASSWORD (secret), NEO4J_URI, NEO4J_USER
Commands 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
Only LeanWarp asks for
LEANWARP_API_KEY (secret)
Only io.github.STiFLeR7/memex asks for
GEMINI_API_KEY (secret)NEO4J_PASSWORD (secret)NEO4J_URINEO4J_USER
Settings as each marketplace publishes them. Asking for fewer is not better in itself.
What it can do: LeanWarp · What it can do: io.github.STiFLeR7/memex · Compare two other plugins
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Data comes from the public marketplace file https://github.com/anthropics/claude-plugins-community/blob/HEAD/.claude-plugin/marketplace.json. Package data comes from the Python Package Index (pypi.org). Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.