mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
Install / Use
claude mcp add angrysky56 -- npx -y github:angrysky56/mcp-logicIf the server publishes to npm under a different name, use that package instead — check the repo README.
MCP Server
Model Context Protocol server
Quality Score
Category
AI & Machine LearningSupported Platforms
Related Skills
oracle
385.4kOracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.
python-debugpy
385.4kDebug Python with pdb, breakpoint(), post-mortem inspection, and debugpy remote attach.
skill-creator
385.4kCreate, edit, audit, tidy, validate, or restructure AgentSkills and SKILL.md files.
browser-automation
385.4kUse when controlling web pages with the OpenClaw browser tool, especially multi-step flows, login checks, tab management, or recovery from stale refs/timeouts.
