jacobian

English · 简体中文

Jacobian은 AI 에이전트가 검색 가능한 유형화된 수학 연산 어휘를 제공하는 MCP 서버입니다. math.find는 연산을 발견하고, math.run은 정확히 하나의 경계가 명확한 수학 계약을 실행하여 유형화된 결과를 반환합니다. 동일한 수학 라이브러리는 CLI 및 네이티브 Python API를 통해서도 사용할 수 있습니다.

각 연산은 하나의 안정적이고 재사용 가능한 수학적 사후 조건을 확립하며, 워크플로우나 증명 전략을 강요하지 않습니다. 결과는 주장된 범위에서 정확하며, 근사, 불완전성, 또는 불확실성을 명시적으로 드러냅니다.

Jacobian의 가설은 수학적 추론이 의미론적으로 범위가 한정되고 경계가 명확한 연산의 실행 가능한 어휘로부터 이점을 얻는다는 것입니다. 대규모 도메인 솔버나 미리 구성된 워크플로우를 노출하는 대신, Jacobian은 에이전트가 검색하고 합성하여 어떤 개별 연산이 설계된 범위를 넘어선 해결책을 구성할 수 있는 수학적 기본 요소를 노출합니다. 라이브러리는 신뢰할 수 있는 수학적 이동을 제공하며, 추론 모델은 어떤 이동을 할지, 결과를 어떻게 결합할지, 그리고 언제 멈출지를 결정합니다. 연산을 의미론적으로 좁고 도메인 소유로 유지함으로써 그 탐색 공간을 보존하며, 하나의 증명 전략이나 워크플로우를 도구 자체에 구워 넣지 않습니다.

의미론적 원자성이 무엇을 의미하며 연산 어휘가 어떻게 성장하는지에 대해서는 실행 가능한 수학 어휘를 참조하세요.

빠른 시작

Jacobian을 전역으로 설치하지 않고 표준 Python MCP 명령을 실행하세요:

uvx --from jacobian jacobian-mcp

MCP 호스트가 npm 명령을 요구하는 경우, npm 패키지는 동일한 명령을 위한 결정적 전달자입니다:

npx jacobian mcp

영구 설치의 경우:

python -m pip install jacobian
jacobian-mcp

해당 패키지에는 Jacobian의 정확히 유지 관리되는 Python 백엔드 스택인 SymPy, NetworkX, Z3, Python-FLINT가 포함되어 있습니다. 일반 Python 또는 npm 설치는 따라서 동일한 Python 기반 연산 포트폴리오를 노출합니다. 테스트된 바이너리 설치 계약은 glibc Linux x86-64에서 CPython 3.12 또는 3.13입니다. 릴리스 게이트는 두 Python 버전 모두에서 휠을 설치하고 시작합니다. 다른 시스템은 호환되는 휠을 가질 수 있지만 아직 테스트된 릴리스 계약의 일부는 아닙니다. 특히 Alpine/musl은 PyPI에서 전체 필수 스택을 설치할 수 없습니다.

Python 배포판에는 수학 커널, CLI, MCP 서버가 포함되어 있습니다. npm 패키지는 정확한 패키지 버전을 해당 uvx 호출에 결정적으로 매핑합니다.

Related MCP server: math-logic-mcp

하나의 경계가 명확한 결과 계산

일반 연산은 수학을 먼저 반환합니다. 예를 들어, matrix.determinant.compute는 정확한 유리수 행렬 하나를 받아 행렬식을 직접 반환합니다. 호출자는 유형화된 값을 후속 연산에 전달하여 결과를 합성합니다.

사용 가능한 수학

내장 포트폴리오는 다음을 포함합니다:

• 다항식 사상 및 다항식 대수;

• 정확한 선형 대수;

• 그래프, 경로, 색칠 및 동형 사상;

• 경계가 명확한 SAT 및 SMT 풀이;

• 유한 대수, 확률, 기하 및 위상; 그리고

• Lean 소스 정교화.

SAT 및 SMT 연산은 유지 관리되는 Z3 Python 바인딩을 직접 사용합니다. 선택적 lean.check 연산은 고정된 Lean 서비스 환경에서 하나의 소스 스니펫을 실행하고, 요청 범위의 임시 디렉터리를 사용하며, 유형화된 진단을 반환합니다. math.find를 사용하여 연산을 검색하고, 익숙하지 않은 도메인을 탐색하며, math.run을 호출하기 전에 연산 하나를 검사하세요.

유지 관리되는 연산 포트폴리오와 백엔드 요구 사항은 도메인 연산 라이브러리 및 백엔드 요구 사항을 참조하세요.

상태

Jacobian 0.12.0은 사전 안정 버전입니다. 게시된 패키지 및 연산 계약은 지원되는 표면을 설명하며, 실험적 연산 계약은 릴리스 간에 변경될 수 있습니다.

문서

• 문서 홈: 튜토리얼, 방법 가이드, 참조 및 설명

• 아키텍처: 런타임 구조 및 신뢰 경계

• 제품 모델: 연산 계약, 소유권 및 프로젝트 경계

• 도구 참조: MCP 리소스 및 호출 계약

• 백엔드 요구 사항: 유지 관리되는 Python 백엔드 및 선택적 Lean

• 원격 배포: HTTP 배포 및 인증

기여

Jacobian은 Python 3.12, uv, 그리고 작은 Makefile을 사용합니다:

make setup
make test-math
make check

코드를 변경하기 전에 CONTRIBUTING.md를 읽으세요. 여기에는 집중된 테스트 명령, 검증 규칙, 문서 배치 및 풀 리퀘스트 기대 사항이 문서화되어 있습니다.

라이선스

MIT