Native MCP 도구 레퍼런스

제품과 전송

lispex mcp serve

Native는 공식 rmcp/1.5.0 SDK로 안정 MCP 2025-11-25를 로컬 stdio에 제공합니다. tools만 광고하며 resources, prompts, roots, sampling, elicitation, log stream, subscriptions, HTTP 전송, 원격 endpoint는 제공하지 않습니다. 시작할 때는 다음 세 절대 경로만 선택할 수 있습니다.

lispex mcp serve \
  --topaz-vm /absolute/path/to/topaz-vm \
  --topaz-compiler /absolute/path/to/topaz-compiler \
  --rust-tools /absolute/path/to/rust-tools

--topaz-compiler와 --rust-tools는 함께 써야 합니다. 서버는 시작하기 전에 제품을 엄격하게 검증합니다. 도구 요청에는 경로를 넣을 수 없습니다.

폐쇄형 도구

도구	필수 입력	선택 입력	결과
`lispex_reference`	없음	`topic`: `forms`, `procedures`, `reader`, `resources`, `routes`; 정확한 `name`	설치 제품의 profile·registry 답변. 모르는 이름은 `known: false`
`lispex_eval`	UTF-8 `source`	`input`으로 바인딩할 리스펙스 datum 하나	Rust 트리의 값, stdout, 경고, 진단, 상태, 자원 결과, identity
`lispex_diagnostic`	`^[EW][0-9]{3}$`에 맞는 `code`	없음	정확한 catalog 행과 발생 조건. 모르는 코드는 `known: false`
`lispex_compare_routes`	`court`: `tree-rust`, `rust-topaz`, `all-four` 중 하나와 UTF-8 `source`	`input`으로 바인딩할 리스펙스 datum 하나	경로별 관측값·identity·불일치 축·가용성·청소 결과와, 답을 대신 고르지 않는 일치 판정

모든 요청 객체는 폐쇄형입니다. 모르는 필드를 무시하지 않고 잘못된 요청으로 거부합니다. 이름을 지정한 lispex_reference에는 topic도 필요합니다. 실행과 비교는 파일 경로, 임의 경로 배열, 실행 파일, endpoint, capability를 받지 않습니다.

실행 결과

구조화된 lispex.mcp-eval-result/v1에는 현재 제품과 profile identity, 엔진 rust-tree, 소스와 선택 입력의 SHA-256, canonical 값, 캡처한 stdout, 정확한 진단·경고, 종료 상태, 자원 결과, metrics, 0인 fallback counter가 들어갑니다.

또한 다음 경계를 직접 밝힙니다.

JSON

{
  "source_retained": false,
  "semantic_equivalence_proved": false,
  "vouch_authority": false
}

리더·런타임 실패는 제한된 일반 결과입니다. 취소, 시간 초과, worker 실패, 잘못된 protocol 입력, 지원하지 않는 protocol 버전도 그대로 드러나며 다른 evaluator로 재시도하지 않습니다.

폐쇄형 비교 법정

lispex.mcp-route-comparison-result/v1은 임의 경로 목록을 받지 않습니다.

법정	정확한 구성	시작 조건
`tree-rust`	내장 트리와 Rust VM	없음
`rust-topaz`	내장 Rust VM과 정확한 Topaz VM	`--topaz-vm`
`all-four`	트리, Rust VM, Topaz VM, 새 AOT	시작 옵션 세 개 모두

모든 구성원은 같은 소스, 입력, Core IR/bytecode 파생물, 자원 요청을 받습니다. 조건이 빠지면 어떤 경로도 실행하지 않고 court_available: false를 반환합니다. 실행을 마친 뒤 결과가 다르면 agreement: false입니다. answer_selected와 partial_comparison은 항상 false입니다.

all-four는 요청 전용 작업 폴더에서 새 AOT 제품을 만들고 엄격한 제품 경계를 거쳐 실행합니다. 취소나 시간 초과에는 전체 process group을 끝내고, 응답하기 전에 작업 폴더를 지웁니다. 청소에 실패하면 도구도 fail-closed로 실패합니다.

고정 제한

경계	제한
소스	65,536바이트
입력 datum	16,384바이트
실행 결과	1MiB
비교 결과	4MiB
진단과 경고	256개
실행 시간	5,000ms
비교 시간	최대 660,000ms

고정 작성 profile은 언어의 transition·control 제한도 적용합니다. 운영체제 수준의 메모리 상한을 보장한다고 주장하지 않습니다.

보안과 지원 범위

서버는 worker의 주변 process 설정을 지우고 파일, 시계, 난수, 네트워크, 데이터베이스, host callback capability를 주지 않습니다. 선택형 제품은 바뀌지 않는 시작 설정으로만 받으며 PATH, 환경변수, checkout, route lock, catalog, 홈 폴더, 네트워크에서 찾지 않습니다. 제출한 소스는 결과에 포함하거나 호출 사이에 보관하지 않습니다. 원격 전송 자체가 없습니다.

MCP는 Native 전용입니다. npm, public WASM, 브라우저, Playground는 이 도구를 제공하지 않습니다. MCP 출력은 Vouch 발행·인증·재실행 evidence 또는 gate grant로 들어갈 수 없습니다.

다음으로

설정을 따라 하려면 AI 도우미와 리스펙스 사용하기를 보세요. 전체 Native 명령은 네이티브 CLI에 있습니다.