sagrada-mcp

AI 시스템의 추론 상태를 추적하고 검증하며, 증명된 저장소 이력 레코드를 읽을 수 있는 Sagrada용 Model Context Protocol(MCP) 서버입니다.

Sagrada는 Claude Code(및 MCP를 지원하는 모든 클라이언트)에 설계 결정, 주장 수정, 모순, 그리고 현재 지식 상태를 만든 편집 내용의 암호학적으로 검증 가능한 체인에 대한 지속적이고 콘텐츠 주소 지정이 가능한 메모리를 제공합니다.

이 저장소의 목적

PyPI의 sagrada-mcp 패키지의 소스이므로, 저희 말을 믿는 대신 설치한 내용을 직접 읽을 수 있습니다.

이 저장소는 0.3.0이 출시된 후에 생성되었습니다. 첫 번째 커밋은 해당 릴리스의 소스를 그대로 담고 있으며 v0.3.0 태그가 붙어 있습니다. 따라서 설치하는 코드와 읽는 코드를 서로 대조해 볼 수 있습니다.

pip download sagrada-mcp==0.3.0 --no-binary :all: --no-deps -d /tmp/pypi
tar xzf /tmp/pypi/sagrada_mcp-0.3.0.tar.gz -C /tmp
mkdir -p /tmp/tagged && git archive v0.3.0 | tar x -C /tmp/tagged
diff -r /tmp/tagged /tmp/sagrada_mcp-0.3.0 --exclude PKG-INFO   # no output

CI는 푸시할 때마다 그 차이를 실행합니다. main은 v0.3.0보다 앞서 있으며 아직 릴리스되지 않은 작업이 포함되어 있습니다. pip install sagrada-mcp는 브랜치가 아닌 태그를 제공합니다.

여기에 없는 것은 12개의 추론 추적기 도구에 필요한 컴파일된 sagrada 엔진(Rust)입니다. 이 엔진은 PyPI에서 sagrada-engine으로 설치되며 소스는 공개되지 않습니다. 사전 점검 게이트(거부를 담당하는 부분)는 이 저장소에 있으며 순수 Python으로 작성되어 엔진에 의존하지 않습니다.

Related MCP server: @humanaccepted/mcp

설치

방법 1: pip 설치 (클린 venv, 저장소 체크아웃 불필요)

pip install sagrada-mcp

이렇게 하면 서버와 아직 게시되지 않은 종속성의 번들 복사본이 설치됩니다(_vendor/README.md 참조). 서버 1개, 도구 21개:

• 사전 점검 게이트 도구 3개(preflight_action, list_beliefs, verify_receipt)는 저장소의 유형화된 신념에 대한 결과적인 도구 호출을 게이트하고 .sagrada/receipts.jsonl에 Ed25519 서명 작업 영수증을 생성합니다. 각 영수증은 uvx er1-verify(1.0.1 이상)로 오프라인에서 개별적으로 확인할 수 있습니다. 버전 제약 조건에 고정되지 않은 설치는 검증기가 다시 계산하는 명시된 적용 범위 격차이며, 영수증 형태는 1.0.0 이전에 존재했습니다. 결정적이며 엔진이 필요 없습니다. 거부는 휠 바이너리에 의존하지 않습니다.

  영수증은 저장소 전용으로 생성된 키 쌍으로 서명됩니다. 개인 키는 .sagrada/operator_key(POSIX에서 모드 0600, gitignore 처리, 기기에서 절대 벗어나지 않음)에 있고, 공개 키는 .sagrada/operator_key.pub에 있으며 커밋하기 위한 것입니다. verify_receipt는 영수증의 서명자를 커밋된 키 및 그 뒤에 있는 서명된 계승 체인과 대조하여 확인하므로, 이 저장소의 키가 아닌 키의 영수증은 조용히 통과하는 대신 foreign으로 반환됩니다. 이전 버전은 프로세스마다 키를 생성하여 모든 서명을 고정할 수 없게 만들었습니다. 즉, "X가 서명함"에서 X가 한 번만 존재했습니다.

  이것이 확립하는 것은 신원이 아니라 연속성입니다. 대역외에서 이 저장소의 지문을 고정했고 개인 키가 기기를 벗어난 적이 없다면, 서명 키가 교체되면 드러납니다. 각 조항이 중요합니다. 서명은 파일의 소유를 증명하며 파일은 복사될 수 있기 때문입니다.

  Claude Code에는 ENFORCED 계층도 있습니다. sagrada-preflight-hook 콘솔 스크립트를 PreToolUse 후크로 연결할 수 있으며, 그러면 대역 내에서 HALT된 호출을 차단합니다. 패키지를 설치한다고 해서 등록되는 것은 아니며, 여기서 Claude 설정을 편집하지는 않습니다. 직접 추가해야 합니다. preflight_hook.py에 붙여 넣을 정확한 한 줄 항목이 있습니다.

• 저장소 레코드(crux) 도구 6개는 .crux 아티팩트(SAGRADA_CRUX)가 주어지면 완전히 작동합니다. 없으면 도움이 되는 오류 문자열을 반환합니다.

• 추론 추적기 도구 12개는 컴파일된 sagrada-engine 휠(0.3.0부터 하드 종속성, 휠이 있는 플랫폼에 자동 설치)이 추가로 필요합니다. 엔진이 없으면 추적 오류 대신 누락된 부분을 명확히 지칭하는 JSON 오류를 반환합니다.

방법 2: 이 저장소 클론에서

git clone https://github.com/Cruxia-Labs/sagrada-mcp && cd sagrada-mcp
pip install -e ".[dev]"
pytest -q

서버 자체를 실행하려면 stdio를 통해 MCP를 사용하며 종료되지 않는다는 점에 유의하세요. 클라이언트를 기다리므로 프롬프트가 다시 표시될 것으로 기대하지 말고 MCP 클라이언트의 구성에서 실행하세요.

python -m sagrada_mcp.server     # blocks; Ctrl-C to stop

서버는 실제 sagrada_tracker / sagrada_preflight 패키지를 가져올 수 있으면 선호하고, 그렇지 않으면 sagrada_mcp/_vendor/의 복사본을 사용합니다. 따라서 여기와 해당 복사본이 있는 업스트림 트리에서 동일하게 동작합니다. 클론에서는 번들된 복사본이 실행되며 테스트 스위트도 서버가 사용한 것과 동일한 것을 바인딩합니다(tests/conftest.py는 pytest 헤더에 어떤 것인지 출력합니다).

Claude Code / Claude Desktop에서 구성

{
  "mcpServers": {
    "sagrada": {
      "command": "sagrada-mcp",
      "env": { "SAGRADA_PROJECT": "/path/to/your/project" }
    }
  }
}

(저장소 체크아웃에서는 "command": "python", "args": ["-m", "sagrada_mcp.server"]를 사용하세요.)

제공 도구 (21)

사전 점검 게이트 (3) — 결정적, 엔진 불필요

인식은 유한하고 최선을 다하는 어휘입니다. 게이트는 에이전트가 실제로 생성하는 형식(가져오기, 패키지 관리자 설치, 배포 대상, 환경 변수 할당)을 읽어 도구 호출을 신념에 매핑합니다. 인식하지 못하는 형식으로 표현된 작업은 매핑되지 않으며, 매핑되지 않은 작업은 어떤 것과도 충돌하지 않으므로 ALLOW됩니다. HALT를 격리(containment)가 아닌 인식된 작업에 대한 강제 정책 검사로 취급하세요.

추론 추적기 (12) — 컴파일된 sagrada 엔진 필요

저장소 레코드 / crux (6) — .crux 아티팩트가 있으면 어디서나 작동

변환된 저장소 기록 레코드의 결정적 읽기입니다. 모델, 네트워크, 시계가 필요 없습니다. 모든 답변에는 오프라인 확인을 위한 레코드 참조(아티팩트, state_root, 영수증)가 포함됩니다.

아직 .crux 아티팩트용 공개 빌더는 없습니다. 여기 있는 읽기 도구는 표준 라이브러리만 사용하며 이미 보유한 아티팩트에 대해 완벽하게 작동하지만, 빌드하는 도구는 이 저장소에 없고 게시되지도 않았습니다. 아티팩트가 없으면 각 crux 도구는 실패하는 대신 포인터를 반환하며, 빌더가 제공될 때까지 그 포인터가 공개 사용자에게 정직한 종착점입니다.

제공 리소스 (3)

환경 변수

라이선스

Apache-2.0. Cruxia-Labs에서 게시.