Guide
How to use Reasons Library
What is a Reasons Library?
A Reasons Library is a knowledge base where beliefs have justifications — they can depend on other beliefs. When a foundational belief is retracted, everything that depends on it automatically goes OUT. This is called a Truth Maintenance System (TMS).
Key concepts
- Belief — a statement that is either IN (believed) or OUT (not believed)
- Premise — a belief with no justifications, IN by default
- Justification — why a belief is IN: "believe X because A and B are IN"
- Retraction cascade — when a premise goes OUT, all beliefs that depend on it also go OUT
- Domain — a named knowledge base containing beliefs, sources, entries, and summaries
Authentication
Sign in with Google at /login to get a 24-hour JWT token. Use it as a Bearer token for API calls and MCP connections.
Claude Code (MCP)
claude mcp add reasons-library \
--transport streamable-http \
--header "Authorization: Bearer <token>" \
https://library.reasonsforge.com/mcpAvailable MCP tools:
| Tool | Description |
|---|---|
list_domains | List knowledge bases with belief counts |
list_beliefs | Paginated listing with IN/OUT filter |
get_belief | Single belief with justifications |
explain_belief | Trace justification chain to premises |
search | Text/ID substring search |
propose_belief | Submit new belief for review |
propose_retraction | Submit retraction for review |
list_proposals | List proposals by status |
REST API
All endpoints are under /api and require a Bearer token.
curl https://library.reasonsforge.com/api/domains \
-H "Authorization: Bearer <token>"See the README for the full API reference.