spec 1.0 · tra cứu

MCP server

Bản dịch có sự hỗ trợ của AI agent. Nếu có khác biệt, trang tiếng Anh là bản có hiệu lực. Nếu bạn thấy vấn đề nào trong văn bản, rất mong bạn mở một issue hoặc gửi một pull request.

Công cụ Leji có hai cách sử dụng. CLI dành cho bạn và CI; còn server Model Context Protocol (MCP) thì dành cho agent của bạn.

@leji-org/mcp là một server MCP cục bộ được xây quanh SDK tham chiếu. Agent có thể đọc bản đặc tả và các schema, kiểm một lớp ngữ cảnh trên đĩa, và chấm mức tuân thủ của nó, mà không phải tải gì từ trang web và không phải gọi ra shell của CLI.

Server chạy cục bộ qua stdio, không gọi mạng trong lúc hoạt động dù lần cài npx đầu tiên có tải gói về, và chỉ cung cấp các công cụ chỉ đọc.

Thêm nó vào client của bạn

Cấu hình một lần, các công cụ leji sẽ xuất hiện trong mọi phiên thuộc phạm vi đã đăng ký, không cần thiết lập thêm: phạm vi người dùng áp dụng cho mọi dự án, còn phạm vi dự án chỉ áp dụng cho kho mã nguồn đó. Client sẽ khởi chạy leji-mcp khi cần.

Nếu bạn đang áp dụng bằng CLI và có Claude Code hoặc Codex trên PATH, thì leji initleji adopt sẽ đề nghị đăng ký sẵn server này cho host đó, trước khi bàn giao cho agent của bạn.

Lời đề nghị đó là tương tác, nên một lần chạy có --yes sẽ bỏ qua nó. Phần dưới đây dành cho ai đã bỏ qua lời nhắc, dùng một client khác, hoặc muốn một phạm vi khác.

Claude Code

claude mcp add leji --scope project -- npx -y @leji-org/mcp

--scope project ghi tệp .mcp.json dùng chung ở gốc kho mã nguồn; hãy commit tệp này để mọi người clone kho mã nguồn đều được mời dùng server. Nếu chỉ muốn dùng riêng trên mọi dự án:

claude mcp add leji --scope user -- npx -y @leji-org/mcp

Bỏ qua --scope thì server được đăng ký riêng tư, chỉ cho dự án này. Tài liệu đầy đủ: tài liệu MCP của Claude Code.

Codex

codex mcp add leji -- npx -y @leji-org/mcp

Hoặc thêm thẳng một bảng [mcp_servers.leji] vào ~/.codex/config.toml. Tài liệu đầy đủ: tài liệu MCP của Codex.

Các client khác

Claude Desktop, Cursor, Windsurf, và mọi MCP client khác đều nhận cấu hình chuẩn:

{
  "mcpServers": {
    "leji": { "command": "npx", "args": ["-y", "@leji-org/mcp"] }
  }
}

Cần Node.js 22 trở lên (npx đi kèm Node). Lần chạy đầu tiên tải gói về; những lần sau dùng bộ nhớ đệm. Hãy trỏ từng công cụ vào đúng gốc kho mã nguồn có tệp leji.json của bạn.

Công cụ

Tất cả đều chỉ đọc. Không công cụ nào do server cung cấp có thể ghi hoặc thay đổi lớp ngữ cảnh của bạn.

Các công cụ MCP do server cung cấp
Công cụNó trả về gì
search_specCác mục trong bản đặc tả khớp với một truy vấn.
fetch_spec_docMột tài liệu đặc tả (hoặc toàn bộ bản đặc tả).
fetch_schemaMột JSON Schema.
validate_manifestKiểm một leji.json được truyền vào trực tiếp.
validate_layerKiểm lớp ngữ cảnh tại một đường dẫn.
score_conformanceMức tuân thủ đã tuyên bố so với mức đã xác minh.
explain_conformanceNhững gì đã được xác minh, và mức kế tiếp cần thêm gì.

Tài nguyên

Các tài nguyên MCP do server cung cấp
URINó phục vụ gì
leji://spec/fullToàn bộ bản đặc tả trong một tài liệu duy nhất.
leji://spec/{id}Một tài liệu đặc tả, ví dụ leji://spec/conformance.
leji://schema/{name}Một JSON Schema, ví dụ leji://schema/context-manifest.
leji://cli/helpTài liệu tra cứu câu lệnh và tuỳ chọn của CLI leji.

Vì sao cần một server, mà không chỉ dùng CLI?

CLI vốn đã kiểm và chấm điểm một lớp ngữ cảnh, và server thì làm được cả hai việc đó. Nó còn làm điều mà CLI không làm: tìm kiếm và cung cấp bản đặc tả cùng các schema. Đây cũng là một giao diện riêng mà agent có thể tự khám phá:

  • Nó tự giới thiệu. Cấu hình một lần là nó xuất hiện trong danh sách công cụ của agent ở mọi phiên, kèm mô tả chính xác nó làm gì. Không ai phải nói cho agent biết rằng Leji tồn tại hay CLI nằm ở đâu.
  • Nó hoạt động được ở nơi shell không thể. Nhiều môi trường agent không thể hoặc không cho phép chạy câu lệnh tuỳ ý. Một server chỉ đọc, không gọi mạng lúc chạy, có thể dùng được ở những nơi mà leji validate thì không.
  • Nó phục vụ thẳng bản đặc tả và các schema. Agent của bạn đọc chúng như những tài nguyên, không cần tải từ web, và trích dẫn chúng ngay trong lúc làm việc.

Việc tiêu thụ một lớp ngữ cảnh thì không cần tới server: boot profile của một kho mã nguồn tuân thủ vốn đã giúp agent bắt đầu. Server dành cho nửa còn lại: tìm hiểu Leji và kiểm một lớp ngữ cảnh theo nó.