Overview
Features
SDM Estimator Integration
Canonical SDM estimator that ensembles gpt-5-2025-08-07, gemini-2.5-pro, and granite-3.3-8b-instruct (run locally) to produce a robust verification.
Local Processing and Privacy
All SDM processing happens on your machine; only standard LLM API calls to Azure/OpenAI and Google are used.
Adaptive Verification with ReexpressAddTrue/AddFalse
After a verification, use ReexpressAddTrue or ReexpressAddFalse to update the model’s verification probability for future calls.
Training Scripts Included
Includes training scripts to retrain the model or experiment with alternative underlying LLMs.
File Access Control
Conservative file-access system using ReexpressDirectorySet() and ReexpressFileSet().
Cross-Platform Support & Granite Model
Runs on Linux and macOS and relies on ibm-granite/granite-3.3-8b-instruct via HuggingFace transformers.
Version 2.0.0 Enhancements
Updated SDM formulation, simplified calibration, and refactored code for efficiency and scalability; canonical SDM estimator.
Easy Installation & Drop-in Use
Install MCP server and append the Reexpress prompt to chats for immediate verification integration.
Who Is This For?
- Developers:Install and integrate SDM verification into LLM-driven software development workflows.
- Data scientists:Leverage SDM verification to validate model outputs in data science experiments.
- LLM developers:Integrate Reexpress SDM verification into tool-calling LLM pipelines and agents.




