Discover the Best AI Tools

Learn Shell은 수업, 플래시카드, 연습, 채점과 학습자 문맥을 보존하는 교실을 웹과 MCP로 제공합니다. 자체 호스팅과 외부 교육 에이전트가 필요하며 현재 단일 기기 신뢰 모델에는 인증이 없습니다.

Say-it Pronounce는 개발 용어 사전에 음성 발음, 퀴즈, CLI·편집기·MCP 연동을 결합합니다. 여러 발음을 보존하고 시스템 음성 도구를 쓰며 모든 항목에 출처나 합의된 발음이 있는 것은 아닙니다.

Pronunciation MCP Server는 로컬 녹음·전사와 영어 발음, 문법, 유창성 코칭 및 문장 연습을 제공합니다. 마이크와 로컬 모델이 필요하며 피드백은 부정확할 수 있고 표준화된 평가가 아닙니다.

ICTExam MCP는 시험, 성적과 문항 분석을 조회하고 선택적으로 시험지 분석과 공개를 지원합니다. 교사나 관리자 계정이 필요하며 기본 쓰기는 꺼져 있고 AI 분석은 플랫폼 크레딧을 사용합니다.

SCORM MCP Server는 HTML 학습 모듈 등을 SCORM 2004/1.2로 패키징하고 진도 추적과 검증을 제공합니다. 오프라인 사용에는 필요한 자산이 포함되어야 하며 문항별 기록은 LMS 지원에 달려 있습니다.

Moodle MCP Server는 Moodle Web Services에 연결해 강좌, 등록, 과제와 사용자 정보를 읽기 전용으로 조회합니다. Web Services 활성화와 API 토큰이 필요하며 고급 보고 플러그인은 오픈소스 코어와 별도입니다.

Brightspace D2L MCP Server는 브라우저 인증 세션으로 강좌, 마감, 제출 상태, 성적과 자료를 읽기 전용으로 제공합니다. 지원 브라우저와 학교 로그인이 필요하며 퀴즈 응시 상태는 미확인일 수 있고 과제를 제출할 수는 없습니다.

Campus CLI는 페루 UPC Blackboard의 강좌, 과제, 성적과 자료에 접근하는 비공식 CLI/MCP입니다. Campus 계정과 학생의 대학 SSO 세션이 필요하며 Canvas와 Moodle 지원은 계획 단계입니다.

Canvas LMS MCP Server는 Canvas API로 강좌, 과제, 성적, 모듈과 마감을 제공하고 오프라인 색인용 일괄 내보내기를 지원합니다. 토큰이 필요한 단일 사용자 알파 버전이며 로컬 실행도 학교 API에 요청합니다.

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에서 정리 증명을 돕는 언어 모델 기반 도우미입니다.

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

GitHub Action으로 언어 모델을 사용하여 지역화 문자열을 번역하고 결과를 커밋하는 것을 지원하며, XLIFF 및 JSON과 같은 형식을 지원합니다.

Claude Certified Architect 시험을 위한 무료 자격증 준비 교재로 시나리오 기반 질문과 가이드 캡스톤 구축이 포함됩니다.

Plot Ark는 고등 교육을 위한 자체 호스팅된 에ージ언트 교육 커리큘럼 엔진으로, 교육학적 근거를 가진 강좌 콘텐츠를 생성합니다.

D2L Brightspace LMS용 MCP 서버로 성적, 마감일, 과제 등을 확인합니다.

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

Large Language Models를 사용하여 커스텀 지식 그래프를 구축하는 방법을 보여주는 Python 노트북입니다.