네이티브 서버 연결
다운로드에서 네이티브를 설치하고 lispex --version을
확인한 뒤 다음 로컬 stdio 서버를 어시스턴트에 추가합니다.
{
"mcpServers": {
"lispex": {
"command": "lispex",
"args": ["mcp", "serve"]
}
}
}설치한 네이티브 실행 파일이 lispex mcp serve를 소유합니다. 다시 연결하면
어시스턴트에 도구 네 개가 나타납니다.
| 도구 | 결과 |
|---|---|
lispex_reference | 폼과 프로시저와 리더 표기와 자원 프로필과 런타임 경로 |
lispex_eval | 검토한 소스의 Rust tree 기준 관측 |
lispex_diagnostic | E302 같은 정확한 진단 코드 설명 |
lispex_compare_routes | 이름 붙은 런타임 비교 하나의 일치 또는 불일치 |
첫 요청
리스펙스 도구를 사용해.
if가 허용되는지 확인하고 입력이 10 이상이면approve, 그 밖에는review를 돌려주는 규칙을 작성해. 입력 12로 실행하고 답하기 전에 진단을 수정해.
어시스턴트는 설치한 카탈로그에서 폼을 확인하고 프로그램을 평가하며 진단을
해소합니다. 리스펙스의 if에는 else 갈래가 필요하고 거짓값은 #f이며,
리더는 받는 주석 형식을 정확히 게시합니다.
로컬 데이터 흐름
리스펙스 서버는 로컬 stdio로 통신합니다. 게스트 프로그램은 명시적 datum 입력과 언어의 순수 계산 표면을 받습니다. 도구 결과에는 소스 해시와 관측과 진단이 들어가고 요청이 끝나면 소스 저장도 끝납니다. 어시스턴트 애플리케이션에 입력한 텍스트에는 그 애플리케이션의 데이터 정책이 적용됩니다.
런타임 경로 비교
기본 서버에서 내장 비교를 바로 사용할 수 있습니다.
{
"court": "tree-rust",
"source": "(+ input 1)",
"input": "41"
}하나의 소스와 입력과 Core IR과 바이트코드와 자원 요청으로 Rust tree 기준과
Rust VM을 비교합니다. 서버를 시작할 때 정확한 토파즈 제품을 추가하면
rust-topaz와 all-four 비교도 사용할 수 있습니다.
{
"command": "lispex",
"args": [
"mcp", "serve",
"--topaz-vm", "/absolute/path/to/topaz-vm",
"--topaz-compiler", "/absolute/path/to/topaz-compiler",
"--rust-tools", "/absolute/path/to/rust-tools"
]
}rust-topaz는 두 VM을 비교합니다. all-four는 tree 실행과 해당 요청을 위해
미리 컴파일한 제품까지 더합니다. 각 비교는 선택한 실행 경로 집합을 유지합니다.
작성용 자원 프로필
| 자원 | 값 |
|---|---|
| 요청당 소스 | 65,536바이트 |
| 요청당 입력 | 16,384바이트 |
| 실행 결과 | 1MiB |
| 실행 시간 | 5초 |
| 비교 결과 | 4MiB |
all-four 실행 시간 | 11분 |
시간 초과와 취소와 잘못된 입력과 제품 상태와 빌드와 정리와 프로세스 종료 상태는 명시적으로 반환됩니다. 이 표면에는 검토한 작성 소스를 사용하세요. 신뢰하지 않는 규칙을 애플리케이션에서 실행할 때는 자원 제어 평가기 계약을 사용합니다.
선택 제품은 서버 시작 시 절대경로로 지정합니다. 비교 출력은 작성 관측입니다. 바우치 흐름은 게시자 인증과 요청 결속과 현재 재실행과 로컬 게이트를 더합니다.
작업을 마치면 MCP stdio 연결을 닫습니다. 로컬 프로세스가 종료되고 요청 상태가 해제됩니다.