Jacobian · MCP Server

Beschreibung des Anbieters

Executable mathematics and independent verification for AI agents.

Voraussetzungen

• npx · Paketmanager · erforderlich · Beleg 1
• Python · Laufzeit · erforderlich · Beleg 5
• Docker · Laufzeit · erforderlich · Beleg 5
• MATCH_RECORDER_OUT · Umgebungsvariable · Pflichtigkeit nicht deklariert · Beleg 6
• PYTEST_RUN_NAME · Umgebungsvariable · Pflichtigkeit nicht deklariert · Beleg 7
• PYTEST_RETAIN_ON_FAILURE · Umgebungsvariable · Pflichtigkeit nicht deklariert · Beleg 7
• PATHS · Umgebungsvariable · Pflichtigkeit nicht deklariert · Beleg 8
• JACOBIAN_EVAL_UPSTREAM_PROXY · Umgebungsvariable · Pflichtigkeit nicht deklariert · Beleg 9
• Node.js · Laufzeit · Pflichtigkeit nicht deklariert · Beleg 5
• uvx · Paketmanager · Pflichtigkeit nicht deklariert · Beleg 5

Installation

npx -y jacobian@0.23.0 mcp

Eckdaten

—: Angabe nicht belegt.

Maintainer

morluto

Repository-Lizenz

MIT

Letzter Repository-Commit

2026-10-04

Commit innerhalb 90 Tagen

Dienstanbieter

Offizielle Dienstherkunft nicht belegt

Dienste

—

Bereiche

—

Plattformen

—

Version

0.23.0

Release

jacobian-v0.23.0

Repository-Themen

ai-agents, computer-algebra, formal-methods, mcp, mcp-server, theorem-proving, lean4, sympy, automated-theorem-proving, formal-verification

Zugriffe und Risiken

Zugriffe laut Paketangaben

—

Authentifizierung

—

Transport

stdio

Technische Prüfung

Ungeprüft

Fehlende Angaben bedeuten unbekannte Zugriffe: Vergib nur die nötigen Berechtigungen und sichere Schreibaktionen mit einer Freigabe ab.