logic-thinking

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ MIT License

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

storage translation mcp

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.