关键词 "Logic" 的搜索结果, 共 11 条, 只显示前 480 条
A Domain-Driven MCP server that provides real-time weather information for Brazilian cities. Designed with SOLID principles, it leverages dependency injection and separates domain logic from infrastru
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
Framework work Agents and MCP Server to contextualise biological knowledge
Mirror of
Model Context Protocol server for sociological research into QAnon
Text2Sim MCP Server is a discrete-event simulation engine that generates and executes flexible SimPy-based models from natural language descriptions. Supports multi-domain workflows (airport, healthca
MCP server for analyzing Japanese text with morphological analysis
MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
MCP server for accessing geologic data with the Macrostrat API
只显示前20页数据,更多请搜索
Showing 49 to 59 of 59 results