reasons-app

benthomasson/reasons-app
★ 0 stars Rust Code/Dev Tools Updated today
Reasons desktop app - macOS menu bar MCP server for Truth Maintenance System
View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "reasons-app": {
      "command": "cargo",
      "args": [
        "run",
        "--",
        "reasons-app"
      ]
    }
  }
}

README Excerpt

A macOS menu bar app that runs a [Reasons](https://github.com/benthomasson/reasons-rust) MCP server — a justification-based truth maintenance system (JTMS) for managing beliefs with dependency tracking, contradiction detection, and truth-value propagation. Reasons.app manages the MCP server lifecycle and provides one-click installation into Claude Desktop and Claude Code. It supports multiple databases (domains) so a single MCP endpoint can serve beliefs from different knowledge areas.

Tools (15)

addassert_nodechallengecodedefenddomainsexplainlistnogoodproductresearchretractsearchshowtree