rulith

An external reasoning board for LLM agents that provides exact arithmetic, deductive closure, and evidence tracking, ensuring every claim is derived or has provenance.

→ rulith-dev/rulith · listed on glama

Is this your MCP?

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

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

🔐

You'll be asked for 1 credential: RULITH_LLM_API_KEY

These are read from process.env at runtime. Make sure you trust where they’ll be sent.

// required environment variables

This server reads these from process.env. You'll be asked to provide them before it can run.

configRULITH_AGENT_NO_CRITIQUE

configRULITH_AGENT_WINDOW

configRULITH_BENCH_VIEW

configRULITH_BOARD_VIEW

configRULITH_CORE_DB

configRULITH_DB— Optional persistence across sessions: set env to a .jsonl

🔐 secretRULITH_LLM_API_KEY

configRULITH_LLM_BASE_URL

configRULITH_LLM_MAX_STREAM_CHARS

configRULITH_LLM_MODEL

configRULITH_LLM_STREAM

configRULITH_LLM_TIMEOUT_MS

configRULITH_LLM_USAGE

configRULITH_MAX_CLOSURE_ITERATIONS

configRULITH_MAX_JOIN_BINDINGS

configRULITH_MAX_TOKENS

configRULITH_TOOL_PROFILE

configRULITH_VERSION

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 4 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/rulith-dev-rulith-1issv9)](https://m8ven.ai/mcp/rulith-dev-rulith-1issv9)

commit: 982f0de39234fd9faa3f08992d535f750c1d0d03

code hash: 1eba75ca4ba811e6d822e8b3aa38fbf243341f0796f5eda1a0b7a5cf6dd99a30

verified: 6/25/2026, 9:54:36 AM

view raw JSON →