#logic
20 results found
Build the container
docker-based mcp server that enables Claude to fetch biological sequence data from NCBI
MCP Sumo Logic
MCP server for Sumologic
MCP Core Library
Contains the business logic and MCP server ports.
ncbi-mcp
NIH's National Center of Biology Information's MCP Server
MCP PhenoAge Clock Server
MCP server for calculating biological age using the Morgan Levine PhenoAge clock
Q-Anon Posts/Drops MCP Server
Model Context Protocol server for sociological research into QAnon
mcp_input_analyzer
Analyzes user-described build features (e.g. database, API integration, tools) and extracts core server requirements like resources, tools, prompts, external systems, and transports needed for MCP.
MCP-Logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
Neo Mcp Logic Analyze
Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations. ## What it does This server accepts short natural-language statements and arguments, then provides structured logic-oriented outputs such as: - controlled formalization into propositional logic; - controlled formalization into a restricted fragment of first-order logic; - ambiguity detection relevant to formalization; - consistency checking; - entailment checking; - simple counterexamples when entailment fails; - natural-language explanations of the formalization process.
MCP Server Logical Solver
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
Unofficial Reactome MCP Server 🧬
Model Context Protocol server for accessing Reactome pathway and systems biology data.