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

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

로컬 Native MCP 서버를 연결해 소스를 외부로 보내지 않고 정확한 언어 조회, 제한된 실행, 진단 설명을 이용합니다.

연결하기 전에

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

SH
lispex --version

MCP 서버는 이 실행 파일에 들어 있습니다. 언어 조회, 실행, 진단, 내장 트리/Rust 비교에는 저장소 checkout, Node 패키지, 네트워크 서비스, 추가 실행 경로, API 키가 필요하지 않습니다.

서버 추가하기

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

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

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

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

  • lispex_reference: 형식, 프로시저, 리더 표기, 자원, 실행 경로 개요를 정확한 제품 자료에서 찾습니다.
  • lispex_eval: 내장 Rust 트리 레퍼런스로 제한된 소스를 실행합니다.
  • lispex_diagnostic: E302 같은 정확한 진단 코드를 설명합니다.
  • lispex_compare_routes: 이름이 정해진 폐쇄형 법정 하나를 실행하고, 답을 대신 고르지 않은 채 일치 또는 불일치를 보고합니다.

첫 요청 예시

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

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

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

내 컴퓨터 밖으로 나가는 것

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

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

실행 경로 비교하기

내장 법정은 별도 설정 없이 사용할 수 있습니다.

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

트리 레퍼런스와 Rust VM이 같은 소스, 입력, Core IR, bytecode, 자원 요청을 받습니다. 나머지 두 법정은 서버를 시작할 때 정확한 companion 제품을 지정해야 합니다.

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는 두 VM을 비교합니다. all-four는 트리 경로와 그 요청을 위해 새로 만든 AOT 제품까지 비교합니다. companion이 빠졌다면 요청한 법정 전체가 unavailable이 됩니다. all-four를 더 작은 비교로 바꾸지 않습니다.

제한과 정직한 실패

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

선택형 제품은 서버를 시작할 때 받은 절대 경로에서만 검증합니다. 서버가 경로를 찾거나 설치·수리·대체·재시도하지 않으며 다른 경로로 폴백하지도 않습니다. 비교 결과는 작성을 돕는 관측값일 뿐, Vouch evidence나 gate grant 또는 의미 동등성 증명이 아닙니다.

설치한 연결 확인하기

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

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

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

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

다음으로

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