quanticsoul4772/logic-thinking

MCP server for logical reasoning, verification, and proof construction

1 file for Claude Code: logic-thinking CLAUDE.md — 2,164 tokens loaded in every session.

Open on GitHub

1Stars on the repository

1Files it configures its agents with

2,164Tokens loaded in every session

1Agent configured

Instructions

logic-thinking CLAUDE.md CLAUDE.md A 2,164 tok

These files are quanticsoul4772/logic-thinking's own configuration — they tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.