morluto/jacobian

해결하는 문제

AI 에이전트는 신뢰할 수 있고 정밀한 도구가 부족하여 복잡한 수학적 추론에 어려움을 겪는 경우가 많습니다. Jacobian은 확률적 추측이나 사전 구축된 고정 워크플로우에 의존하는 대신 에이전트가 정확한 계산을 수행할 수 있도록 하는 검색 가능하고 실행 가능한 수학 연산 라이브러리를 제공합니다.

작동 방식

Jacobian은 MCP(모델 컨텍스트 프로토콜) 서버로 작동합니다. 에이전트가 math.find를 사용하여 발견하고 math.run을 사용하여 실행할 수 있는 "타입화된" 수학 연산 집합을 노출합니다. 각 연산은 의미적으로 좁고 자족적이며 정확한 결과를 반환하도록 설계되었습니다. 에이전트는 어떤 연산을 호출할지, 결과를 어떻게 결합할지, 언제 중지할지 선택할 책임이 있으며, 이는 사전 정의된 단일 도구를 넘어서는 문제를 해결할 수 있는 유연성을 제공합니다.

대상 사용자

이 프로젝트는 에이전트 워크플로우 내에서 선형 대수, 그래프 이론, SAT/SMT 해결과 같은 신뢰할 수 있고 정밀한 수학 연산을 수행해야 하는 AI 에이전트를 구축하는 개발자를 위한 것입니다.

주요 특징

• 검색 가능하고 타입화된 수학 원시 연산 어휘를 제공합니다.
• 다항식 대수, 그래프 이론, 유계 SAT/SMT 해결을 포함한 복잡한 영역을 지원합니다.
• MCP 서버로 작동하여 기존 AI 에이전트 프레임워크와 쉽게 통합할 수 있습니다.
• 로컬 터미널 워크플로우를 위한 일관된 Python API 및 CLI를 제공합니다.
• 의미적 원자성에 초점을 맞추어 각 도구가 안정적이고 재사용 가능한 수학적 이동을 수행하도록 보장합니다.