Is this your server?
Add your score badge to your README and get your server in front of 45k+ builders a month.
Works with
Install to Claude Code
Summary
An external reasoning board for LLM agents that provides exact arithmetic, deductive closure, and evidence tracking, ensuring every claim is derived or has provenance.
Overview
An external reasoning board for LLM agents that provides exact arithmetic, deductive closure, and evidence tracking, ensuring every claim is derived or has provenance.
Add rulith to your MCP-capable client — Claude Code, Cursor, Codex, and others — by following the setup at the source, which documents the exact command, configuration, and any required API keys.
Grade
D
No GitHub stars yet.
Updated within the last 90 days.
Documented: license, description, tags. Missing: install command, config details.
Community server with a public source repository.
Tool surface not yet analyzed.
Scored automatically from popularity, maintenance, completeness, trust, and security. How we score →
Paste a snippet into your GitHub README. The badge updates automatically and links back to this page.
Score badgeMarkdown
[](https://www.claudemarket.ai/mcp/rulith-dev/rulith)
HTML
<a href="https://www.claudemarket.ai/mcp/rulith-dev/rulith"><img src="https://www.claudemarket.ai/mcp/rulith-dev/rulith/badges/score.svg" alt="rulith MCP server"/></a>
Card badgeMarkdown
[](https://www.claudemarket.ai/mcp/rulith-dev/rulith)
HTML
<a href="https://www.claudemarket.ai/mcp/rulith-dev/rulith"><img src="https://www.claudemarket.ai/mcp/rulith-dev/rulith/badges/card.svg" alt="rulith MCP server"/></a>
rulith doesn’t publish a one-line install command, so follow the setup instructions in the source repository at https://github.com/rulith-dev/rulith.
rulith is a community-maintained MCP server published from the rulith-dev/rulith repository. Review the source before granting it access to sensitive credentials.
Elasticsearch MCP
elastic/mcp-server-elasticsearch
Exa MCP
exa-labs/exa-mcp-server
Firecrawl MCP
mendableai/firecrawl-mcp-server
Perplexity MCP
ppl-ai/modelcontextprotocol
Qdrant MCP
qdrant/mcp-server-qdrant
Remote OpenClaw Directory MCP Server
aidevelopers2/remoteopenclaw-mcp
✓ VerifiedHand-picked reading to help you choose and use Search servers.
Skills by category
MCP servers by category
