Magma MCP Server
A server for the Magma mathematical computing system that uses RAG to retrieve concepts from the Magma Handbook and generate Magma code.
README
Magma MCP Server
Magma 수학 컴퓨팅 시스템을 위한 MCP (Model Context Protocol) 서버입니다. Magma Handbook의 내용을 RAG(Retrieval Augmented Generation)로 검색하여 관련 정보와 코드를 제공합니다.
🚀 기능
- 개념 검색: Magma Handbook에서 수학적 개념과 예제 검색
- 코드 생성: 설명에 따른 Magma 코드 자동 생성 (RAG 컨텍스트 포함)
- RAG 시스템: 벡터 데이터베이스를 통한 의미론적 검색
📋 필요 환경
- Node.js 18+
- Python 3.8+
- TypeScript (개발용)
🛠 설치 방법
1. 저장소 클론
git clone <repository-url>
cd magma-mcp-simple
2. Node.js 의존성 설치
npm install
3. Python 의존성 설치
pip install -r requirements.txt
4. TypeScript 컴파일
npm run build
⚙️ MCP 클라이언트 설정
Cursor 설정
~/.cursor/mcp.json 파일에 추가:
Windows 예시:
{
"mcpServers": {
"magma-helper": {
"command": "node",
"args": ["build/index.js"],
"cwd": "C:\\Users\\YourName\\Desktop\\magma-mcp-simple"
}
}
}
macOS/Linux 예시:
{
"mcpServers": {
"magma-helper": {
"command": "node",
"args": ["build/index.js"],
"cwd": "/Users/YourName/Desktop/magma-mcp-simple"
}
}
}
Claude Desktop 설정
claude_desktop_config.json 파일에 추가:
Windows 예시:
{
"mcpServers": {
"magma-helper": {
"command": "node",
"args": ["C:\\Users\\YourName\\Desktop\\magma-mcp-simple\\build\\index.js"]
}
}
}
macOS/Linux 예시:
{
"mcpServers": {
"magma-helper": {
"command": "node",
"args": ["/Users/YourName/Desktop/magma-mcp-simple/build/index.js"]
}
}
}
🎯 사용법
MCP 클라이언트(Cursor, Claude Desktop)에서 다음 도구들을 사용할 수 있습니다:
1. Magma 개념 검색
도구: search_magma_concepts
입력: { "query": "finite field" }
2. Magma 코드 생성
도구: generate_magma_code
입력: { "description": "Create finite fields and perform basic operations" }
📁 프로젝트 구조
magma-mcp-simple/
├── src/
│ ├── index.ts # MCP 서버 메인
│ └── rag-system.ts # RAG 시스템 (사용하지 않음)
├── vectordb/ # 벡터 데이터베이스
├── search_vectordb.py # Python 검색 스크립트
├── requirements.txt # Python 의존성
├── package.json # Node.js 의존성
└── README.md # 이 파일
🔧 개발
개발 모드 실행
npm run dev
수동 테스트
node build/index.js
📝 라이선스
MIT License
🤝 기여
이슈나 PR을 통해 기여해주세요!
⚠️ 주요 설정사항
경로 설정
- 반드시 절대 경로를 사용하세요!
src/index.ts파일 내의workingDir변수를 본인 환경에 맞게 수정:const workingDir = 'C:\\Users\\YourName\\Desktop\\magma-mcp-simple'; // Windows const workingDir = '/Users/YourName/Desktop/magma-mcp-simple'; // macOS/Linux- 수정 후 반드시
npm run build실행
필수 요구사항
vectordb/폴더는 필수입니다 (Magma Handbook 벡터화된 데이터)- Python과 Node.js 환경이 모두 설치되어 있어야 합니다
- MCP 클라이언트에서 절대 경로 설정이 중요합니다
트러블슈팅
- 경로 오류 발생시:
src/index.ts의workingDir경로 확인 - Python 오류 발생시:
pip install -r requirements.txt재실행 - MCP 연결 안됨: 클라이언트 재시작 후 다시 시도
Recommended Servers
playwright-mcp
A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.
Audiense Insights MCP Server
Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.
Magic Component Platform (MCP)
An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.
VeyraX MCP
Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.
graphlit-mcp-server
The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.
Kagi MCP Server
An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.
E2B
Using MCP to run code via e2b.
Neon Database
MCP server for interacting with Neon Management API and databases
Exa Search
A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.
Qdrant Server
This repository is an example of how to create a MCP server for Qdrant, a vector search engine.