Weavatrix Refactor

Die explizite Quell-Schreib-Schicht des Weavatrix-Ökosystems; Core bleibt schreibgeschützt.

Refactoring über Dateien hinweg, ohne dass der Agent raten muss.

Weavatrix Refactor ist ein nativer MCP-Server für Coding-Agenten. Er findet ein Symbol über den Repository-Graphen, zeigt bytegenaue Änderungen als Vorschau, meldet jedes gleichnamige Vorkommen, das er nicht beweisen konnte, und schreibt erst nach einer expliziten, hash-gebundenen Bestätigung.

Der entscheidende Unterschied ist nicht „KI kann ein Wort umbenennen“. Es ist, dass der Agent vor dem Schreiben Beweise erhält und danach eine wiederherstellbare Transaktion.

Installation

Führen Sie die native Binärdatei über npm aus:

npx -y weavatrix-refactor mcp /absolute/path/to/repository

Oder installieren Sie sie mit Cargo:

cargo install weavatrix-refactor --locked
weavatrix-refactor mcp /absolute/path/to/repository

Ein MCP-Client kann sie direkt starten:

{
  "mcpServers": {
    "weavatrix-refactor": {
      "command": "weavatrix-refactor",
      "args": ["mcp", "/absolute/path/to/repository"],
      "env": {"WEAVATRIX_ALLOW_SOURCE_EDITS": "1"}
    }
  }
}

Lassen Sie WEAVATRIX_ALLOW_SOURCE_EDITS für reine Vorschau-Sitzungen ungesetzt. Vorschau ist ein Lesevorgang; nur ein bestätigtes Anwenden oder Zurücksetzen erfordert das Gate.

Als Plugin installieren

Das Repository enthält außerdem ein Plugin-Bundle für Cursor, Codex, Claude Code und Grok Build. Das Plugin startet das reine Erweiterungsprofil und trägt so die 11 Refactor-Methoden bei, ohne die 43 schreibgeschützten Methodendefinitionen von Weavatrix Core zu wiederholen. Installieren Sie das separate Weavatrix-Plugin, wenn beide Oberflächen benötigt werden.

Die gebündelte Fähigkeit ist optional und aktiviert sich nur für ausdrücklich angeforderte Refactoring-Arbeiten. Ihr Einstiegspunkt bleibt kurz; jede Methode hat eine individuelle Referenzkarte, die nur bei Bedarf geladen wird.

• Cursor: Suchen Sie nach Weavatrix Refactor nach der Marktplatz-Freigabe.

• Codex: Fügen Sie den Marktplatz Weavatrix/weavatrix-refactor aus .agents/plugins hinzu, dann fügen Sie weavatrix-refactor@weavatrix-refactor hinzu.

• Claude Code: Fügen Sie denselben Repository-Marktplatz aus .claude-plugin hinzu, dann installieren Sie weavatrix-refactor@weavatrix-refactor.

• Grok Build: Führen Sie grok plugin marketplace add Weavatrix/weavatrix-refactor aus, öffnen Sie /marketplace und installieren Sie es.

Das Plugin setzt WEAVATRIX_ALLOW_SOURCE_EDITS=1, aber jeder Schreibvorgang benötigt weiterhin das kurzlebige, plan-gebundene Einmal-Token der exakten Vorschau.

Für eine Umbenennungsaufgabe legen Sie nur die beiden Werkzeuge frei, die der Agent benötigt:

weavatrix-refactor mcp /absolute/path/to/repository --profile=rename

Das rename-Profil behält rename_symbol und rollback_last_apply; jedes unzusammenhängende Graph- und Refactor-Werkzeug fehlt und kann nicht aufgerufen werden. Lassen Sie die Option weg (oder verwenden Sie --profile=refactor) für alle 11 Refactor-Methoden. Der engere Katalog reduziert wiederholten Agenten-Kontext; er schwächt weder Vorschau-Hashes, das Schreib-Gate, das Bestätigungs-Token noch Rollback-Prüfungen.

Wenn Weavatrix Core bereits als separater MCP installiert ist, legen Sie nur die 11 Methoden frei, die Refactor hinzufügt:

weavatrix-refactor mcp /absolute/path/to/repository --profile=refactor

Das refactor-Profil ist der Standard für MCP und list-tools, einschließlich des Marktplatz-Plugins. Das frühere full-Kompatibilitätsprofil wurde entfernt und wird von beiden Befehlen abgelehnt: Refactor veröffentlicht keine Core-Methoden mehr. Installieren Sie Weavatrix Core als eigenen MCP, wenn auch schreibgeschützte Repository-Intelligenz benötigt wird.

Related MCP server: MCP Refactoring

Eine sichere dateiübergreifende Umbenennung in drei Aufrufen

Angenommen, zwei Dateien deklarieren resolveTarget. Ein bloßer Name ist mehrdeutig, also weigert sich der Server, einen auszuwählen, und gibt exakte IDs zurück:

// rename_symbol
{"symbol":"resolveTarget","new_name":"locateTarget","output_format":"json"}

{
  "status": "NOT_FOUND",
  "reason": "the name matches more than one symbol; pass one of the candidate ids",
  "candidates": [
    "symbol:src/core.ts#function:resolveTarget@2:1",
    "symbol:src/shadow.ts#function:resolveTarget@3:1"
  ]
}

Wiederholen Sie den Vorgang mit der gewünschten ID. Das Ergebnis ist immer noch schreibgeschützt: Es enthält den Änderungsplan, Inhalts-Hashes, die bewiesene Anzahl der Änderungen und die Referenzen, die das Backend nicht erraten wollte.

// rename_symbol
{
  "symbol": "symbol:src/core.ts#function:resolveTarget@2:1",
  "new_name": "locateTarget",
  "output_format": "json"
}

{
  "status": "PLANNED",
  "completeness": "PARTIAL",
  "renamedEdits": 7,
  "uncertainReferences": ["... three named locations ..."],
  "confirmToken": "single-use-token",
  "plan": {"schemaVersion":"weavatrix.edit-plan.v1","files":["..."]}
}

Nachdem Sie den Plan geprüft haben, wiederholen Sie denselben Vorgang mit denselben Eingaben und seinem Token:

// rename_symbol
{
  "symbol": "symbol:src/core.ts#function:resolveTarget@2:1",
  "new_name": "locateTarget",
  "mode": "apply",
  "confirm_token": "single-use-token",
  "output_format": "json"
}

{"status":"APPLIED"}

Dieser exakte Ablauf wird gegen den echten stdio-MCP-Server getestet. Das Repository-Fixture erfordert sieben Änderungen in drei Dateien, bewahrt vier Fallen (einen längeren Bezeichner, String, Kommentar und unzusammenhängenden Schatten) und muss weiterhin kompilieren; es erreicht 12/12.

Was heute automatisch ist

Die elf Werkzeuge beanspruchen nicht alle denselben Automatisierungsgrad:

Refactor verwendet intern den Rust-Weavatrix-Graphen für Beweise, exportiert aber nie Core-Methoden. Installieren Sie das separate Weavatrix-Plugin für schreibgeschützte Repository-Intelligenz. Der Refactor-MCP besitzt genau seine 11 Erweiterungsmethoden; --profile=rename ist ein optionaler engerer Zwei-Methoden-Ablauf.

Sicherheitsmodell und exakte Grenzen

• Mehrdeutige Namen schlagen mit Kandidaten-IDs fehl, statt die erste Übereinstimmung auszuwählen.

• PARTIAL bedeutet, dass der Graph die Änderungen im Plan bewiesen hat, aber nicht bewiesen hat, dass keine anderen semantischen Referenzen existieren. uncertainReferences benennt die Stellen, die einer Überprüfung bedürfen.

• Jede Datei in einem Plan trägt einen Inhalts-Hash. Ein geänderter Arbeitsbaum macht die Vorschau veraltet, statt die alten Koordinaten anzuwenden.

• Anwenden erfordert WEAVATRIX_ALLOW_SOURCE_EDITS=1 plus ein kurzlebiges, einmaliges Token, das an dieses Repository und den exakt neu berechneten Plan gebunden ist.

• rollback_last_apply weigert sich, Dateien zu überschreiben, die nach der Transaktion abgedriftet sind.

• Mehrdatei-Schreibvorgänge werden journalisiert und sind absturzwiederherstellbar. Sie sind nicht beobachtbar atomar für unzusammenhängende Prozesse: Ein anderer Prozess kann kurzzeitig einen Zwischenzustand des Dateisystems beobachten.

Nur Änderungen mit bewiesener Herkunft werden angewendet. Ein lexikalisches oder Graph-Backend ist bewusst konservativer als ein Sprachserver und darf nicht als Anspruch auf vollständige Compiler-Semantik gelesen werden.

Gemessener Benchmark, mit ungleichen Schichten getrennt gehalten

Der eingecheckte Benchmark vom August 2026 verwendet gleichwertige adversariale TypeScript-, Rust- und Python-Fixtures. Jedes hat sieben erforderliche Änderungen, vier Fallen und ein Build/Test-Gate. Protokoll-Läufe zählen exakte o200k_base-Initialisierung, Katalog-, Anfrage- und Antwort-Token. Agenten-Läufe verwenden die tatsächliche kumulative Nutzung, die von Codex CLI mit festgelegtem gpt-5.6-sol / mittlerem Denken gemeldet wird. Es wird kein Byte-Proxy oder geschätzte Token-pro-Sekunde-Umrechnung verwendet.

Das neue reine Umbenennungsprofil hielt alle neun Protokoll-Läufe bei 12/12 und reduzierte den festen MCP-Kontext von 9.331 auf 485 Token. Sein geführter TypeScript-Agenten-A/B ist:

Die vollständige Agenten-Matrix ist 12/12 in allen 27 TypeScript/Rust/Python-Läufen; jeder Lauf abgeschlossen auch betrieblich und bestand die bereinigte Bearbeitungskanal-Prüfung. Die deterministische Protokoll- Matrix deckte auch einen sprachspezifischen Serena-Defekt auf: Sein vorgeschlagener find_symbol → rename_symbol-Ablauf erzielte 7/12 bei TypeScript in allen drei Läufen, während Rust und Python bestanden. Sie fand und trieb auch Korrekturen für Rust-Makroaufrufe und Python-f-String/Modul-Ebenen-Aufruf-Beweise voran.

Auf diesem Spielzeug-TypeScript-Repository ist nackter Codex immer noch schneller und billiger als das verengte Profil. Der demonstrierte Wert von Weavatrix ist Vorschau-vor-Schreiben, benannte Unsicherheit, Ablehnung veralteter Pläne, explizite Autorisierung und Rollback – nicht ein universeller Token-Gewinn für kleine Repositories.

Siehe die vollständige Methodik, alle Sprach-Mediane, Roh-Ergebnis-Links und Einschränkungen.

Vertrag

Die 11 Refactor-Werkzeugnamen, Schemas und Ergebniszustände sind eingefroren in contract/refactor-tools.v1.json. Alle Refactor-Operationen sind natives Rust; der Host verwendet die schreibgeschützte weavatrix-rust-Engine intern für Graph-Beweise, ohne ihre Methoden auf der Standardoberfläche zu exportieren.

Versionen 0.1.x verwendeten die JavaScript-Engine. Diese Linie wird fortgesetzt als weavatrix-refactor-js und behält ein separates Zustandsverzeichnis, Token-Speicher und Rollback-Journal.

Lizenz

MIT.