Enables deterministic semantic verification of agent-generated SQL queries against a git-versioned contract, blocking incorrect queries and returning structured feedback for self-correction.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
process.env. You'll be asked to provide them before it can run.SQLPROCTOR_SCHEMASQLPROCTOR_CONTRACT— export =contracts/your_warehouse.ymlSQLPROCTOR_DBSQLPROCTOR_DIALECT— export =tsql # match the upstream (e.g. SQL Server)SQLPROCTOR_LLM_PROVIDER— export =openrouter SQLPROCTOR_LLM_MODEL=z-ai/glm-5.2SQLPROCTOR_LLM_MODEL— export SQLPROCTOR_LLM_PROVIDER=openrouter =z-ai/glm-5.2SQLPROCTOR_LLM_TEMPERATURESQLPROCTOR_LLM_MAX_TOKENSSQLPROCTOR_LLM_EFFORTSQLPROCTOR_LLM_BASE_URLSQLPROCTOR_LLM_API_KEYSQLPROCTOR_LEDGERSQLPROCTOR_UPSTREAM_CMD— export ="python -m your_database_mcp" # the upstream stdio serverSQLPROCTOR_UPSTREAM_TOOL— export =query # its SQL tool (default: query)SQLPROCTOR_UPSTREAM_SQL_ARG— export =sql # that tool's SQL arg (default: sql)[](https://m8ven.ai/mcp/debabsah-sqlproctor-6pcqt7)