Python Refactoring Assistant vs tla-claude-code
Python Refactoring Assistant is an MCP server published by slamer59. Marketplaces we read that list it: 1 (Docker MCP Catalog). tla-claude-code is a plugin bundle for AI coding tools published by brianwu02. Marketplaces we read that list it: 1 (Community GitHub marketplaces). As of our marketplace pass on 2026-10-14. 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 |  Python Refactoring Assistant | |
|---|---|---|
| Docker MCP Catalog | Listed Version: sha256:4cd4303da424 Forks (GitHub): 6 Pulls (Docker Hub): 36 917 Stars (Docker Hub): 2 Stars (GitHub): 13 Not marked · First seen |
Not listed |
| Community marketplace brianwu02/tla-claude-code | Not listed | Listed Version: 1.0.0 No figure published 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 | Python Refactoring Assistant | tla-claude-code |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 13 | No figure on GitHub |
| Pulls (Docker Hub) (differs) | 36 917 | No figure on Docker Hub |
| Forks (GitHub) (differs) | 6 | No figure on GitHub |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (mcp/mcp-python-refactoring) | Installs as a plugin bundle |
| Transport (differs) | stdio | Not stated |
| Tools it declares (differs) | 9 | Not published |
| Environment variables it asks for | Not published | Not published |
| Parts of the bundle (differs) | Not a bundle | 1 |
| Licence (differs) | MIT | Not stated |
| Repository (differs) | github.com/slamer59/mcp-python-refactoring | github.com/brianwu02/tla-claude-code |
| 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
Python Refactoring Assistant
Educational Python refactoring assistant that provides guided suggestions for AI assistants.
tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
How to run each
Python Refactoring Assistant As a local MCP server: Docker image
claude mcp add --transport stdio mcp-python-refactoring -- docker run -i --rm mcp/mcp-python-refactoringtla-claude-code As a Claude Code plugin
/plugin marketplace add brianwu02/tla-claude-code
/plugin install tla-claude-code@tla-claude-codeCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
The marketplaces of tla-claude-code publish no list of tools, so we do not compare tools.
Settings each asks for
Neither one's marketplaces publish the settings it asks for.
What it can do: Python Refactoring Assistant · What it can do: tla-claude-code · Compare two other plugins
Data comes from the Docker MCP Catalog (desktop.docker.com/mcp/catalog) and Docker Hub. 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.