MCP로 로컬 XLS 도구 사용하기

검증된 Linux CLI를 stdio 클라이언트에 연결해 로컬 XLS 도구를 사용하세요.

Linux x86_64에서 Altifigence CLI의 로컬 XLS 모드로 직접 입력한 DSLX 또는 XLS IR 소스를 검사하고 평가하세요.

로컬 도구 연결하기

  1. 검증된 Linux x86_64 번들은 Altifigence CLI 안내에 따라 설치하세요.

  2. MCP 클라이언트의 stdio 설정에서 명령을 설치된 alti-mcp 실행 파일의 절대 경로로 지정하고 인수 목록을 비워 두세요. 검증된 설치 폴더에서 alti-xls를 같은 폴더에 두세요.

  3. 서버 프로세스의 환경 변수 ALTI_MCP_MODE를 local-xls로 설정한 뒤 연결하세요.

  4. 클라이언트의 도구 목록을 새로 고치세요. altifigence.local.xls.capabilities를 {}로 호출한 뒤 반환된 엔진 기능과 실행 기록을 확인하세요.

소스 도구 사용하기

로컬 도구는 같은 폴더의 XLS 엔진을 CPU에서 실행합니다.

  • altifigence.local.xls.capabilities — 엔진 기능을 확인합니다.

  • altifigence.local.xls.check — 소스를 검사합니다.

  • altifigence.local.xls.eval — 입력 벡터로 소스를 평가합니다.

  • altifigence.local.xls.optimize — XLS IR을 최적화합니다.

  • altifigence.local.xls.codegen — RTL을 생성합니다.

소스 작업에는 input_kind(dslx 또는 xls-ir)과 직접 입력한 source를 제공하고, 최상위 함수 이름을 top에 지정하세요. eval에는 vectors도 문자열 값의 배열들로 제공하세요. codegen에는 pipeline을 제공하고 stages 값을 1에서 16 사이로 지정할 수 있습니다.

결과를 사용하기 전에 isError를 확인하세요. 엔진 호출이 성공하면 structuredContent에 engine과 receipt가 반환됩니다.