Discover the Best AI Tools

MCP 또는 CLI로 AI 에이전트에 기호·수치 계산, 수학 주장 검사와 SVG 그래프를 제공한다. Node.js와 지원 수식 형식이 필요하며 컴퓨터 대수 검사는 일반적인 형식 증명과 다르다.

mcp-gnu-units는 내장 GNU Units 데이터베이스와 Python 엔진으로 오프라인 차원 단위 변환·검색·정의 조회를 제공합니다. PyPI 출시 패키지가 아닌 소스 설치 사전 출시판이며 GPL-3.0-or-later입니다. 지원 범위는 엔진과 포함된 정의에 달려 있습니다.

gnomon-mcp는 Python MCP로 날짜·시간대·수학·통계·단위를 결정론적으로 일괄 계산합니다. 근무일은 월요일부터 금요일이며 지역 공휴일을 반영하지 않습니다. 자연어 날짜와 단위도 모호하지 않은 입력이 필요합니다.

Polymath MegaBlaster MCP는 수학·통계·날짜·단위·서브넷·토큰 수를 로컬 Node.js에서 계산합니다. 계산에 API 키가 필요하지 않습니다. 정밀도와 토큰화 지원은 연산별로 다르며 지리적 거리는 지구 모델에 따른 근사값입니다.

Mathlas는 AI 클라이언트에 수치 검증, 상수·수열 식별, 정리 검색과 Lean 증명 검사를 제공합니다. 내부 LLM은 없으며 일부 기능에는 로컬 OEIS 데이터나 Lean이 필요하고 정리 검색은 외부 서비스를 사용할 수 있습니다.

MathMethods MCP는 AI 클라이언트에 수치 근 찾기, 적분, 미분, 보간과 미분방정식 풀이를 제공합니다. 각 알고리즘의 전제에 따른 근삿값이며 기호적 증명이나 수렴을 보장하지 않습니다.

mcp-abacus는 MCP로 식 계산·수치 풀이·곡선 적합을 제공하며 고정소수점·부동소수점·유리수·복소수 모드와 정밀도 정보를 지원합니다. 연산은 모드·해법에 따라 다릅니다. 정확 표시가 입력 수식이나 가정의 올바름을 증명하지는 않습니다.

Lean에서 정리 증명을 돕는 언어 모델 기반 도우미입니다.

기하학 정리 증명기는 언어 모델과 기호 추론 엔진을 결합합니다.

수학 연산, 통계, 시각화, 지속 가능한 작업 공간을 위한 교육용 MCP 서버입니다.