Reexpress

공식

검색, 소프트웨어 및 데이터 과학 워크플로우에 유사성-거리-크기 통계적 검증을 활성화합니다.

Reexpress MCP(으)로 무엇을 할 수 있나요?

  • LLM 응답 검증 — 어시스턴트가 Reexpress 도구를 사용하여 자신의 답변을 확인하고 통계적으로 강건한 신뢰도 추정치를 반환하도록 요청합니다.
  • 모델에 올바른 예제 추가 — 검증 후 ReexpressAddTrue를 호출하여 확인된 올바른 응답으로 추정기를 동적으로 업데이트합니다.
  • 모델에 잘못된 예제 추가 — 검증 후 ReexpressAddFalse를 호출하여 잘못된 응답을 등록함으로써 향후 검사에서 이를 반영할 수 있도록 합니다.
  • 검증을 위한 파일 접근 제어ReexpressDirectorySetReexpressFileSet을 사용하여 기본 LLM API로 전송될 로컬 파일을 지정합니다.

문서

Reexpress 모델-컨텍스트-프로토콜 (MCP) 서버

도구 호출 LLM(예: Claude Opus 4.7) 및 macOS(Tahoe 26 이상, Apple silicon) 또는 Linux에서 실행되는 MCP 클라이언트용

비디오 개요1: 여기

Watch the YouTube video

Screenshot image of the rendered HTML output from the Reexpress tool.

Re

Reexpress MCP 서버는 소프트웨어 개발 및 데이터 과학 환경을 위한 검색 및 QA에 LLM을 일상적으로 사용하는 것은 물론, 복잡한 LLM 파이프라인에 최첨단 통계적 검증을 추가하는 즉시 사용 가능한 솔루션입니다. AI 워크플로우를 위한 최초의 신뢰할 수 있고 통계적으로 견고한 AI 세컨드 오피니언입니다.

MCP 서버를 설치한 다음 채팅 텍스트 끝에 Reexpress 프롬프트를 추가하기만 하면 됩니다. 그러면 도구 호출 LLM(예: Anthropic의 LLM 모델 Claude Opus 4.7)이 제공된 사전 훈련된 Reexpress 유사도-거리-크기(SDM) 추정기로 응답을 확인합니다. 이 추정기는 gpt-5.5-2026-04-23, gemini-3.1-pro-preview, gemini-embedding-2와 도구 호출 LLM의 출력을 앙상블하여 OpenVerification1 데이터세트의 훈련 및 보정 예제 데이터베이스에 대한 예측 불확실성의 견고한 추정치를 계산합니다. Reexpress 방식의 고유한 특징은 모델을 작업에 쉽게 적응시킬 수 있다는 점입니다. 검증이 완료된 후 ReexpressAddTrue 또는 ReexpressAddFalse 도구를 호출하기만 하면, 이후 Reexpress 도구 호출 시 검증 확률을 계산할 때 사용자의 업데이트가 동적으로 고려됩니다. 또한 모델의 훈련 스크립트도 포함되어 있어, 보다 실질적인 변경이 필요하거나 대체 기반 LLM을 사용하려는 경우 전체 재훈련을 실행할 수 있습니다.

[!NOTE] 사용자(귀하)에게 지침에 따른 출력에 대한 원칙적인 신뢰도 추정치를 제공하는 것 외에도, 도구 호출 LLM 자체가 검증 출력을 사용하여 답변을 점진적으로 개선하거나, 추가 외부 리소스나 도구가 필요한지 판단하거나, 교착 상태에 도달하여 추가 설명이나 정보를 요청해야 하는지 결정할 수 있습니다. 이것이 바로 SDM 검증을 통한 추론으로, AI 툴킷의 완전히 새로운 기능이며 개인과 기업 모두에게 LLM 및 LLM 에이전트의 훨씬 더 광범위한 사용 사례를 열어줄 것이라고 생각합니다.

데이터는 Azure/OpenAI 및 Google로의 표준 LLM API 호출을 통해서만 전송되며, gemini-3.1-pro-preview 호출에는 API를 통한 표준 웹 검색 액세스 권한이 부여됩니다. SDM 추정기의 모든 처리는 사용자 컴퓨터에서 로컬로 수행됩니다. Reexpress MCP는 간단하고 보수적이지만 효과적인 파일 액세스 시스템을 갖추고 있습니다. 파일 액세스 도구인 ReexpressDirectorySet() 및 ReexpressFileSet()을 통해 파일을 명시적으로 지정하여 LLM API로 전송할 추가 파일(있는 경우)을 제어할 수 있습니다.

버전 2.4.0의 새로운 기능

모델 카드는 여기에서 확인할 수 있습니다.

버전 2.4.0은 생성 모델로 gpt-5.5-2026-04-23 및 gemini-3.1-pro-preview를 사용합니다. 2.3.0.preview와 마찬가지로, gemini-embedding-2가 로컬 granite-3.3-8b-instruct 모델을 대체하여 일치 표현 모델로 사용됩니다. 이로 인해 수십억 개의 매개변수 모델을 로컬에서 실행할 필요가 없어져 서버 실행이 크게 간소화되었습니다. 또한 새로운 예제로 OpenVerification1 데이터세트를 확장했습니다. 자세한 내용은 모델 카드를 참조하십시오.

추가 참고 사항은 changelog.md에 있습니다.

시스템 요구 사항

MCP 서버는 Linux 및 macOS에서 실행됩니다. 주요 요구 사항은 MCP 서버를 실행하는 머신이 300만 개의 매개변수를 가진 작은 PyTorch 모델을 로컬에서 실행할 수 있어야 한다는 것이므로 컴퓨팅 요구 사항은 최소한입니다. (표기된 그대로입니다: 30억 개가 아닌 300만 개의 매개변수입니다. 이 모델은 gemini-embedding-2와 두 API 언어 모델의 분류 출력에 대한 SDM 활성화로 구성됩니다.)

설치

INSTALL.md를 참조하십시오.

[!TIP] Reexpress MCP 서버는 다른 MCP 서버에 비해 설정이 간단하지만, LLM, MCP 및 명령줄 도구에 대한 어느 정도의 친숙함을 가정합니다. 대상 사용자는 개발자 및 데이터 과학자입니다. 신뢰할 수 있는 출처의 다른 MCP 서버만 추가하고, 다른 MCP 도구가 예상치 못한 방식으로 MCP 서버의 동작을 변경할 수 있음을 유의하십시오.

구성 옵션

CONFIG.md를 참조하십시오.

사용 방법

documentation/HOW_TO_USE.md를 참조하십시오.

도구 호출 출력으로 정적 HTML 생성

documentation/OUTPUT_HTML.md를 참조하십시오.

가이드라인

documentation/GUIDELINES.md를 참조하십시오.

FAQ

documentation/FAQ.md를 참조하십시오.

훈련 및 보정 데이터

documentation/DATA.md를 참조하십시오.

OpenVerification1에 대한 평가

documentation/EVAL.md를 참조하십시오.

시스템 데모 논문

특히 Reexpress MCP 서버의 버전 2.1.0에 초점을 맞춘 시스템 데모 논문 "Introspectable, Updatable, and Uncertainty-aware Classification of Language Model Instruction-following"의 사본이 여기에 포함되어 있습니다. 분석을 재현하기 위한 지원 스크립트는 여기에 포함되어 있습니다.

시스템 데모 논문 이후의 변경 사항을 강조하는 버전 2.4.0의 모델 카드는 여기에서 확인할 수 있습니다.

CAIS 2026 system demonstration poster.

인용

이 소프트웨어가 유용하다고 생각되면 다음 동료 심사 논문을 인용하는 것을 고려하십시오:

@inproceedings{Schmaltz-2026-SimilarityDistanceMagnitudeActivations,
    title = "Similarity-Distance-Magnitude Activations",
    author = "Schmaltz, Allen",
    editor = "Liakata, Maria  and
      Moreira, Viviane P.  and
      Zhang, Jiajun  and
      Jurgens, David",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {ACL} 2026",
    month = jul,
    year = "2026",
    address = "San Diego, California, United States",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-acl.1109/",
    doi = "10.18653/v1/2026.findings-acl.1109",
    pages = "22037--22057",
    ISBN = "979-8-89176-395-1",
    abstract = "We introduce the Similarity-Distance-Magnitude (SDM) activation function, a more robust and interpretable formulation of the standard softmax activation function, adding Similarity (i.e., correctly predicted depth-matches into training) awareness and Distance-to-training-distribution awareness to the existing output Magnitude (i.e., decision-boundary) awareness, and enabling interpretability-by-exemplar via dense matching. We further introduce the SDM estimator, based on a data-driven partitioning of the class-wise empirical CDFs via the SDM activation, to control the class- and prediction-conditional accuracy among selective classifications. When used as the final-layer activation over pre-trained language models for selective classification, the SDM estimator is more robust to covariate shifts and out-of-distribution inputs than existing calibration methods using softmax activations, while remaining informative over in-distribution data."
}
@inproceedings{Schmaltz-2026-ReexpressMCPServer,
    author = {Schmaltz, Allen},
    title = {Introspectable, Updatable, and Uncertainty-aware Classification of Language Model Instruction-following},
    year = {2026},
    isbn = {9798400724152},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3786335.3813214},
    doi = {10.1145/3786335.3813214},
    abstract = {In this system demonstration paper, we introduce an open-source implementation for training and testing Similarity-Distance-Magnitude (SDM) estimators for the task of binary classification of instruction-following of closed-weight language models (LMs). This SDM estimator provides an approximately conditional estimate of the predictive uncertainty over instruction-following, conditional on multiple closed-weight LMs and the representation space of an open-weight model. While it would be more robust to use as input to the SDM estimator the hidden-states of the underlying models, this indirect, compositional proxy is more reliable than verbalized uncertainty and adds a means of auditing the predictions against data with known labels. We release the code as an MCP Server to simplify adding interpretability-by-exemplar and locally updatable, uncertainty-aware instruction-following to agent-based pipelines. We further release OpenVerification1, a balanced set of over two million examples of instruction-following and associated rationales from recent closed-weight LMs, for bootstrapping domain-specific estimators. Finally, we discuss limitations of estimating the predictive uncertainty without access to the hidden-states of the tool-calling LM and provide practical guidance for applications.},
    booktitle = {Proceedings of the ACM Conference on AI and Agentic Systems},
    pages = {1259–1269},
    numpages = {11},
    keywords = {Approximately conditional calibration, Interpretability-by-exemplar, Classification of instruction-following, Model ensembles},
    location = {
    },
    series = {CAIS '26}
}

Footnotes

  1. The 출력 형식이 비디오에서 사용된 v1.0.0 이후 변경되었습니다. changelog.md를 참조하십시오.