rulith

0 starsApache-2.0Community

Install to Claude Code

This server doesn't publish a one-line install command. Follow the setup in the source repository.

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.

Getting started

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.