hybrid-ai-mcp
Level FSourceBridges the "black box" problem by creating a formal, inspectable decision layer. Each decision traces to explicit logical operations - no hidden states. Leverage NN perception while maintaining human-interpretable decision logic.
Installation
View source repo →Related servers
mcp-logicFully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Moast-mcp-serverBy transforming source code into a queryable Semantic Graph and a structured ASTworldmonitorReal-time global intelligence dashboard. AI-powered news aggregation, geopoliticdeer-flowAn open-source long-horizon SuperAgent harness that researches, codes, and creatruflo🌊 The original agent harness. Deploy intelligent multi-player swarms, coordinateheadroomCompress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20