플레이그라운드
(리스펙스)
KOENRU

AI 도우미와 리스펙스 사용하기

로컬 Native MCP 서버에서 정확한 언어 조회, 크기를 제한한 신뢰 소스 예제, 진단, 그리고 미리 정해 둔 실행 방식 비교를 이용합니다.

연결하기 전에

다운로드에서 Native 제품을 설치하고 확인합니다.

SH
lispex --version

MCP 서버는 이 실행 파일에 들어 있습니다. 언어 조회, 실행, 진단, tree 실행과 Rust를 견주는 내장 비교에는 저장소 사본, Node 패키지, 네트워크 서비스, 추가 엔진, API 키가 필요하지 않습니다.

MCP 설정에서 사용하는 lispex 명령은 이 다운로드 페이지에서 받은 Native 실행 파일이어야 합니다.

서버 추가하기

MCP 명령을 받는 AI 도우미에 다음 로컬 stdio 서버를 추가합니다.

JSON
{
  "mcpServers": {
    "lispex": {
      "command": "lispex",
      "args": ["mcp", "serve"]
    }
  }
}

설정 파일 이름은 도우미마다 다릅니다. 중요한 계약은 명령과 인자, 즉 lispex mcp serve입니다. URL, 작업 폴더, 소스 경로, 실행 경로를 덧붙이지 마세요.

다시 연결하면 다음 네 도구만 보여야 합니다.

  • lispex_reference는 폼, 프로시저, 리더 표기, 자원, 그리고 프로그램을 실행하는 방식들의 개요를 정확한 제품 자료에서 찾습니다.
  • lispex_eval은 내장 Rust tree 레퍼런스로 크기를 제한한 신뢰 소스를 실행합니다.
  • lispex_diagnostic은 E302 같은 정확한 진단 코드를 설명합니다.
  • lispex_compare_routes는 미리 정해 둔 목록에서 이름이 붙은 비교 하나를 실행하고, 답을 대신 고르지 않은 채 일치 또는 불일치를 보고합니다.

첫 요청 예시

다음과 같이 요청해 보세요.

리스펙스 도구를 사용해 줘. 먼저 if가 허용되는지 확인하고, 입력이 10 이상이면 approve, 아니면 review를 돌려주는 규칙을 작성해. 입력 12로 실행하고, 진단이 나오면 고친 뒤 답해 줘.

도우미는 폼을 확인하고 프로그램을 실행한 뒤 첫 시도가 틀리면 진단 목록으로 고칠 수 있습니다. 막연히 Scheme 방언을 떠올리게 하는 것보다 정확합니다. 리스펙스의 if에는 else 가지가 반드시 있어야 하고, #; datum 주석은 없으며, 거짓으로 취급되는 값은 #f뿐입니다.

내 컴퓨터 밖으로 나가는 것

리스펙스 서버는 네트워크로 아무것도 보내지 않습니다. 로컬 stdio만 사용하며 실행할 코드에 파일, 시계, 난수, 네트워크, 데이터베이스, 호스트 되부름 능력을 주지 않습니다. 결과에는 소스 해시, 관측 결과, 진단이 들어가지만 제출한 소스 자체는 돌려주거나 기록·캐시·보관하지 않습니다.

다만 AI 도우미 애플리케이션에는 별도의 데이터 정책이 있습니다. 원격 도우미라면 그 앱에 직접 입력한 글이 제공자에게 전송될 수 있습니다. 리스펙스 서버는 그 사실을 더하거나 숨기지 않습니다.

실행 방식 비교하기

내장 비교는 별도 설정 없이 사용할 수 있습니다.

JSON
{
  "court": "tree-rust",
  "source": "(+ input 1)",
  "input": "41"
}

tree 레퍼런스와 Rust 가상 머신이 같은 소스, 입력, Core IR, 바이트코드, 자원 요청을 받습니다. 나머지 두 비교는 서버를 시작할 때 정확한 추가 제품을 지정해야 합니다.

JSON
{
  "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는 두 가상 머신을 비교합니다. all-four는 tree 실행과, 그 요청만을 위해 미리 컴파일해 새로 만든 제품까지 비교합니다. 추가 제품이 빠졌다면 요청한 비교 전체를 쓸 수 없게 됩니다. all-four를 더 작은 비교로 바꾸지 않습니다.

제한과 정직한 실패

한 요청은 소스 65,536바이트와 입력 16,384바이트까지 받습니다. 실행 결과는 1MiB, 실행 시간은 5초로 제한됩니다. 비교 결과는 4MiB까지 받으며, all-four는 매번 새 제품을 빌드하므로 최대 11분으로 제한됩니다. 언어의 고정된 전이 제한과 제어 제한도 그대로 적용됩니다. 시간 초과, 취소, 잘못된 입력, 쓸 수 없는 비교, 빌드·정리 실패, 알 수 없는 도구는 모두 드러납니다.

이는 작성용 크기 제한과 운영 중단선일 뿐, 게스트가 쓴 작업량과 논리적 할당량을 되풀이해 셀 수 있게 재는 계측이 아닙니다. 현재 서버는 신뢰하는 소스를 전제로 하므로, 워커를 적대적 소스를 가두는 샌드박스로 여기고 실행해서는 안 됩니다. 시간 초과, 취소, 프로세스 종료, 호스트 메모리 부족, 패닉, 트랩은 결정도, 남에게 건넬 수 있는 영수증도 만들지 않습니다.

선택형 제품은 서버를 시작할 때 받은 절대 경로에서만 검증합니다. 서버가 경로를 찾거나 설치·수리·대체·재시도하지 않으며 다른 엔진으로 넘어가지도 않습니다. 비교 결과는 작성을 돕는 관측 결과일 뿐, 바우치 증거나 게이트 통과나 의미 동등성 증명이 아닙니다.

설치한 연결 확인하기

설정을 마치면 도우미에게 다음처럼 요청해 보세요.

리스펙스 도구 목록을 보여 줘. if와 +가 있고 eval은 없는지 확인해 줘. (+ input 1)을 입력 41로 실행하고, 진단이 나오면 코드로 설명한 다음 같은 프로그램을 tree-rust로 비교해 줘.

제대로 연결됐다면 도구 네 개가 보이고, 실행값은 42이며, 두 방식을 견주는 비교는 completed로 끝납니다. 선택형 비교를 쓸 수 없다면 시도한 실행이 하나도 없어야 합니다. 실행 결과가 다르면 agreement: false이고 partial_comparison과 answer_selected는 계속 false입니다. 이때 도우미는 편한 답을 고르지 말고 불일치를 그대로 알려야 합니다.

작업을 마치면 MCP 연결을 끊으세요. stdio가 닫히면 로컬 프로세스도 끝납니다. 따로 종료할 백그라운드 서비스나 보관된 프로젝트 상태는 없습니다.

다음으로

연동을 만들 때는 MCP 도구 레퍼런스를 함께 보세요. 언어를 계속 배우려면 학습 경로로 돌아갑니다.