Pre-execution decision verification for AI agents. Sentinel → adversarial RV panel (SERV Reasoning) — ALLOW / BLOCK / UNCERTAIN with signed attestation. MCP server, x402-gated on Base.
Setup
Choose your client, copy the config, then fill in any required environment variables.
claude mcp add thoughtproof --env DQL_API_KEY='<DQL_API_KEY>' --env SENTINEL_API_KEY='<SENTINEL_API_KEY>' --env THOUGHTPROOF_API_KEY='<THOUGHTPROOF_API_KEY>' -- npx -y thoughtproof-mcp~/.codex/config.toml
[mcp_servers.thoughtproof]
command = "npx"
args = ["-y", "thoughtproof-mcp"]
env = { DQL_API_KEY = "<DQL_API_KEY>", SENTINEL_API_KEY = "<SENTINEL_API_KEY>", THOUGHTPROOF_API_KEY = "<THOUGHTPROOF_API_KEY>" }
# codex mcp add thoughtproof --env DQL_API_KEY='<DQL_API_KEY>' --env SENTINEL_API_KEY='<SENTINEL_API_KEY>' --env THOUGHTPROOF_API_KEY='<THOUGHTPROOF_API_KEY>' -- npx -y thoughtproof-mcp~/.cursor/mcp.json
{
"mcpServers": {
"thoughtproof": {
"command": "npx",
"args": [
"-y",
"thoughtproof-mcp"
],
"env": {
"DQL_API_KEY": "<DQL_API_KEY>",
"SENTINEL_API_KEY": "<SENTINEL_API_KEY>",
"THOUGHTPROOF_API_KEY": "<THOUGHTPROOF_API_KEY>"
}
}
}
}.vscode/mcp.json
{
"servers": {
"thoughtproof": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"thoughtproof-mcp"
],
"env": {
"DQL_API_KEY": "<DQL_API_KEY>",
"SENTINEL_API_KEY": "<SENTINEL_API_KEY>",
"THOUGHTPROOF_API_KEY": "<THOUGHTPROOF_API_KEY>"
}
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"thoughtproof": {
"command": "npx",
"args": [
"-y",
"thoughtproof-mcp"
],
"env": {
"DQL_API_KEY": "<DQL_API_KEY>",
"SENTINEL_API_KEY": "<SENTINEL_API_KEY>",
"THOUGHTPROOF_API_KEY": "<THOUGHTPROOF_API_KEY>"
}
}
}
}claude_desktop_config.json
{
"mcpServers": {
"thoughtproof": {
"command": "npx",
"args": [
"-y",
"thoughtproof-mcp"
],
"env": {
"DQL_API_KEY": "<DQL_API_KEY>",
"SENTINEL_API_KEY": "<SENTINEL_API_KEY>",
"THOUGHTPROOF_API_KEY": "<THOUGHTPROOF_API_KEY>"
}
}
}
}.trae/mcp.json
{
"mcpServers": {
"thoughtproof": {
"command": "npx",
"args": [
"-y",
"thoughtproof-mcp"
],
"env": {
"DQL_API_KEY": "<DQL_API_KEY>",
"SENTINEL_API_KEY": "<SENTINEL_API_KEY>",
"THOUGHTPROOF_API_KEY": "<THOUGHTPROOF_API_KEY>"
}
}
}
}Environment variables
DQL_API_KEYSENTINEL_API_KEYTHOUGHTPROOF_API_KEY
Replace the placeholders with your own credentials and keep them out of version control.