lispex mcp serve는 설치한 네이티브 바이너리에서 로컬 stdio 서버를
시작합니다. 모든 요청과 응답은 닫힌 버전 프레임을 사용합니다.
도구
| 도구 | 입력 | 결과 |
|---|---|---|
lispex_reference | topic과 선택한 정확한 name | 설치된 폼과 프로시저와 리더 문법과 자원과 경로 |
lispex_eval | 소스와 선택 datum | 값과 표준 출력과 경고와 진단을 담은 Rust tree 관측 |
lispex_diagnostic | E3xx 또는 W3xx 코드 하나 | 정확한 카탈로그 설명과 발생 조건 |
lispex_compare_routes | 이름 붙은 court와 소스와 선택 입력 | 경로 관측과 일치 상태와 자원과 계보 |
참조 도구의 topic은 forms, procedures, reader, resources, routes입니다.
모르는 이름은 known: false를 반환해 어시스턴트가 설치한 버전에 맞게 요청을
고칠 수 있게 합니다.
고정 비교
| Court | 제품 |
|---|---|
tree-rust | 내장 Rust tree와 Rust VM |
rust-topaz | Rust VM과 서버 시작 때 선택한 정확한 토파즈 VM |
all-four | Rust tree와 Rust VM과 선택 토파즈 VM과 새 AOT 제품 |
서버를 시작할 때 절대경로로 선택 토파즈 제품을 지정합니다.
SH
lispex mcp serve \
--topaz-vm /absolute/path/to/topaz-vm \
--topaz-compiler /absolute/path/to/topaz-compiler \
--rust-tools /absolute/path/to/rust-tools각 비교는 이름 붙은 경로 집합을 유지하고 agreement,
partial_comparison, answer_selected, 종료 상태, 자원 값, 제품 식별자를
기록합니다.
자원 프로필
| 자원 | 값 |
|---|---|
| 요청당 소스 | 65,536바이트 |
| 요청당 입력 | 16,384바이트 |
| 실행 결과 | 1MiB |
| 실행 시간 | 5초 |
| 비교 결과 | 4MiB |
all-four 실행 시간 | 11분 |
서버는 시간 초과와 취소와 입력과 제품과 빌드와 정리와 프로세스 종료 상태를 명시적으로 반환합니다. 이 표면은 검토한 작성 소스에 사용합니다. 외부 사용자가 전달한 애플리케이션 규칙은 자원 제어 평가기에서 실행합니다.
데이터와 권한 흐름
소스와 선택 datum은 로컬 stdio로 들어옵니다. 워커는 요청 데이터를 메모리에 두고 요청이 끝나면 해제합니다. 도구 결과에는 소스 해시와 관측과 자원 값과 진단이 들어갑니다. 절대 시작 경로는 서버 수명 동안 선택 제품을 고정합니다.
MCP는 작성 관측을 만듭니다. 리스펙스 바우치는 자체 인증 요청과 현재 재실행과 로컬 게이트를 통해 정확한 소스와 입력을 소비합니다. 호스트 애플리케이션은 게이트 결과를 소비하고 외부 행동을 소유합니다.