'도구' 태그 MCP 리소스

각 단계에서 순차적 사고를 기반으로 도구를 추천하여 사용자가 문제 해결을 할 수 있도록 안내합니다.

OpenAPI 사양을 MCP 도구로 변환하여 원활한 AI 어시스턴트 API 상호 작용을 제공합니다.

AI 시스템에서 자동 정리 증명 및 논리 추론을 위해 Prover9/Mace4를 통합한 서버입니다.

TypeScript/JavaScript 소스 코드에서 내장된 데이터를 추출하여 구조화된 JSON 파일로 변환하는 도구입니다.