rulithofficial
A
licenseNot graded
qualityB
maintenanceAn external reasoning board for LLM agents that provides exact arithmetic, deductive closure, and evidence tracking, ensuring every claim is derived or has provenance.
539 npm
1
Apache 2.0
93,923 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓