jacobian

Inglés · 简体中文

Jacobian es un servidor MCP que ofrece a los agentes de IA un vocabulario buscable de operaciones matemáticas tipadas. math.find descubre una operación, y math.run ejecuta exactamente un contrato matemático acotado y devuelve su resultado tipado. La misma biblioteca matemática también está disponible a través de una CLI y una API nativa de Python.

Cada operación establece una postcondición matemática estable y reutilizable, en lugar de prescribir un flujo de trabajo o una estrategia de demostración. Los resultados son exactos cuando así se indica y hacen explícitos la aproximación, la incompletitud o la incertidumbre.

La hipótesis de Jacobian es que el razonamiento matemático se beneficia de un vocabulario ejecutable de operaciones acotadas y con delimitación semántica. En lugar de exponer grandes solucionadores de dominio o flujos de trabajo precompuestos, Jacobian expone primitivas matemáticas que los agentes pueden buscar y componer en soluciones más allá de lo que cualquier operación individual fue diseñada para resolver. La biblioteca aporta movimientos matemáticos fiables; el modelo de razonamiento decide qué movimientos hacer, cómo combinar sus resultados y cuándo detenerse. Mantener las operaciones semánticamente acotadas y propias del dominio preserva ese espacio de búsqueda, en lugar de osificar una única estrategia de demostración o un único flujo de trabajo dentro de las propias herramientas.

Consulta Vocabulario matemático ejecutable para entender qué significa la atomicidad semántica y cómo crece el vocabulario de operaciones.

Inicio rápido

Ejecuta el comando canónico de MCP para Python sin instalar Jacobian globalmente:

uvx --from jacobian jacobian-mcp

Cuando un host MCP exige un comando npm, el paquete npm es un portador determinista de ese mismo comando:

npx jacobian mcp

Para una instalación persistente:

python -m pip install jacobian
jacobian-mcp

Ese paquete incluye la pila de backend exacta y mantenida por Jacobian: SymPy, NetworkX, Z3 y Python-FLINT. Una instalación normal de Python o npm expone, por tanto, el mismo catálogo de operaciones integradas respaldadas por Python. El contrato de instalación binaria probado es CPython 3.12 o 3.13 en glibc Linux x86-64; la pasarela de publicación instala el wheel compilado y arranca Jacobian en ambas versiones de Python. Otros sistemas pueden tener wheels aguas arriba compatibles, pero aún no forman parte del contrato de publicación probado. En concreto, Alpine/musl no puede instalar la pila obligatoria completa desde PyPI.

La distribución de Python contiene el núcleo matemático, la CLI y el servidor MCP. El paquete npm relaciona de forma determinista su versión exacta del paquete con la invocación correspondiente de uvx.

Related MCP server: math-logic-mcp

Calcular un resultado acotado

Una operación ordinaria devuelve primero las matemáticas. Por ejemplo, matrix.determinant.compute acepta una matriz racional exacta y devuelve su determinante directamente. Los llamadores componen resultados pasando sus valores tipados a una operación posterior.

Matemáticas disponibles

El catálogo integrado cubre:

• mapas polinomiales y álgebra polinomial;

• álgebra lineal exacta;

• grafos, caminos, coloraciones e isofórmico;

• resolución acotada de SAT y SMT;

• álgebra finita, probabilidad, de gramatría y topología; y

• elaboración de código fuente en Lean.

Las operaciones de SAT y SMT usan directamente el binding de Python de Z3 mantenido. La operación opcional lean.check ejecuta un fragmento de código acotado en el entorno fijo del servicio Lean, utilizando un directorio temporal con ámbito de solicitud y devolviendo diagnósticos tipados. Utiliza math.find para buscar una operación, explorar un dominio desconocido e inspeccionar una operación antes de llamar una olvida a math.run.

Consulta el catálogo de operaciones por dominio para conocer la cartera de operaciones mantenida y los requisitos de backend.

Estado

Jacobian 0.12.0 es pre-estable. Los contratos de paquete y de operaciones publicados describen la superficie compatible; los contratos de operaciones experimentales pueden cambiar entre versiones.

Documentación

• Inicio de la documentación: tutoriales, guías de procedimientos, referencia y explicaciones

• Arquitectura: estructura del runtime y límites de confianza

• Modelo de producto: contratos de operación, propiedad y límites del proyecto

• Referencia de herramientas: recursos MCP y contratos de invocación

• Requisitos de backend: backends de Python mantenidos y Lean opcional

• Despliegue remoto: implementación por HTTP y despliegue autenticado

Contribuciones

Jacobian usa Python 3.12, uv y un pequeño Makefile:

make setup
make test-math
make check

Lee CONTRIBUTING.md antes de cambiar código. Allí se documentan los comandos de test enfocados, las puntos de verificación, la ubicación de la documentación y las expectativas para las pull requests.

Licencia

MIT