jacobian

Deutsch · 简体中文

Jacobian ist ein MCP-Server, der KI-Agenten ein durchsuchbares Vokabular typisierter mathematischer Operationen bietet. math.find entdeckt eine Operation, und math.run führt genau einen begrenzten mathematischen Vertrag aus und gibt sein typisiertes Ergebnis zurück. Dieselbe mathematische Bibliothek ist auch über eine CLI und eine native Python-API verfügbar.

Jede Operation etabliert eine stabile, wiederverwendbare mathematische Nachbedingung, anstatt einen Arbeitsablauf oder eine Beweisstrategie vorzugeben. Die Ergebnisse sind dort exakt, wo es angegeben ist, und machen Näherung, Unvollständigkeit oder Unsicherheit explizit.

Die Hypothese von Jacobian ist, dass mathematisches Denken von einem ausführbaren Vokabular semantisch abgegrenzter, begrenzter Operationen profitiert. Anstatt große Domänenlöser oder vorgefertigte Arbeitsabläufe bereitzustellen, bietet Jacobian mathematische Primitive, nach denen Agenten suchen und die sie zu Lösungen zusammensetzen können, die über das hinausgehen, was eine einzelne Operation zu lösen gedacht war. Die Bibliothek liefert vertrauenswürdige mathematische Schritte; das Denkmodell entscheidet, welche Schritte es unternimmt, wie es ihre Ergebnisse kombiniert und wann es aufhört. Die Operationen semantisch eng und domäneneigen zu halten, bewahrt diesen Suchraum, anstatt eine Beweisstrategie oder einen Arbeitsablauf in die Werkzeuge selbst einzubacken.

Siehe Ausführbares mathematisches Vokabular für die Bedeutung semantischer Atomarität und wie das Operationsvokabular wächst.

Schnellstart

Führen Sie den kanonischen Python-MCP-Befehl aus, ohne Jacobian global zu installieren:

uvx --from jacobian jacobian-mcp

Wenn ein MCP-Host einen npm-Befehl erfordert, ist das npm-Paket ein deterministischer Träger für denselben Befehl:

npx jacobian mcp

Für eine dauerhafte Installation:

python -m pip install jacobian
jacobian-mcp

Dieses Paket enthält den exakten, gepflegten Python-Backend-Stack von Jacobian: SymPy, NetworkX, Z3 und Python-FLINT. Eine normale Python- oder npm-Installation legt daher dasselbe eingebaute, Python-gestützte Operationsportfolio offen. Der getestete Binärinstallationsvertrag ist CPython 3.12 oder 3.13 auf glibc Linux x86-64; das Release-Gate installiert das erstellte Wheel und startet Jacobian auf beiden Python-Versionen. Andere Systeme verfügen möglicherweise über kompatible Upstream-Räder, sind aber noch nicht Teil des getesteten Release-Vertrags. Insbesondere kann Alpine/musl den vollständigen Pflichtstack nicht von PyPI installieren.

Die Python-Distribution enthält den mathematischen Kernel, die CLI und den MCP-Server. Das npm-Pakett bildet seine exakte Paketversion deterministisch auf den entsprechenden uvx-Aufruf ab.

Related MCP server: math-logic-mcp

Ein begrenztes Ergebnis berechnen

Eine gewöhnliche Operation liefert zuerst Mathematik. Beispielsweise akzeptiert matrix.determinant.compute eine exakte rationale Matrix und gibt direkt ihre Determinante zurück. Aufrufer setzen Ergebnisse zusammen, indem sie ihre typisierten Werte an eine nachfolgende Operation übergeben.

Verfügbare Mathematik

Das eingebaute Portfolio deckt Arbeiten ab in:

• polynomialen Abbildungen und polynomialer Algebra;

• exakter linearer Algebra;

• Graphen, Pfaden, Färbungen und Isomorphie;

• begrenztem SAT- und SMT-Lösen;

• endlicher Algebra, Wahrscheinlichkeit, Geometrie und Topologie; und

• Lean-Quellausarbeitung.

SAT- und SMT-Operationen verwenden direkt die gepflegte Z3-Python-Bindung. Die optionale Operation lean.check führt ein begrenztes Quellfragment in der festen Lean-Dienstumgebung aus, wobei ein anfragebezogenes temporäres Verzeichnis verwendet wird, und gibt typisierte Diagnosen zurück. Verwenden Sie math.find, um nach einer Operation zu suchen, eine unbekannte Domäne zu durchsuchen und eine Operation zu prüfen, bevor Sie math.run einmal aufrufen.

Siehe die Domänenoperationsbibliothek für das gepflegte Operationsportfolio und Backend-Anforderungen.

Status

Jacobian 0.12.0 ist vor der stabilen Version. Seine veröffentlichten Paket- und Operationsverträge beschreiben die unterstützte Oberfläche; experimentelle Operationsverträge können sich zwischen den Versionen ändern.

Dokumentation

• Dokumentationsstartseite: Tutorials, Anleitungen, Referenz und Erläuterungen

• Architektur: Laufzeitstruktur und Vertrauensgrenzen

• Produktmodell: Operationsverträge, Eigentum und Projektgrenzen

• Werkzeugreferenz: MCP-Ressourcen und Aufrufverträge

• Backend-Anforderungen: gepflegte Python-Backends und optionales Lean

• Remote-Bereitstellung: HTTP-Bereitstellung und Authentifizierung

Mitwirken

Jacobian verwendet Python 3.12, uv und eine kleine Makefile:

make setup
make test-math
make check

Lesen Sie CONTRIBUTING.md, bevor Sie Code ändern. Es dokumentiert gezielte Testbefehle, Verifizierungsregeln, Dokumentationsplatzierung und Pull-Request-Erwartungen.

Lizenz

MIT