# Logic-Thinking MCP Server

> Use this tool when you need to apply formal logical reasoning and mathematical problem-solving to complex tasks, such as proof construction and argument validation, across various logic systems. It solves problems in fields like artificial intelligence, mathematics, and computer science by integrating external solvers and providing features like proof storage and cross-system translation. The tool accepts logical statements and mathematical problems as input and outputs formal proofs, solutions, and scored arguments.

Canonical page: https://skillsregistry.net/skills/quanticsoul4772-logic-thinking  
JSON: https://api.skillsregistry.net/v1/skills/quanticsoul4772-logic-thinking

## Description

Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.

## Trust

- **Trust score (0–1):** 0.80
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-28

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/roii8y0la9)
- **Repository:** <https://github.com/quanticsoul4772/logic-thinking>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "quanticsoul4772-logic-thinking"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/quanticsoul4772-logic-thinking` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/quanticsoul4772-logic-thinking/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt