Synthesized Logic Language for World Models 🌱🐋🌍
玄霖超脑 · 无量网络 v4 重构版— 66 模块6通道 AI 认知神经系统 · 装一次，你所有的 AI 工具从此共享一个永远不失忆的大脑。跨会话记忆 · 多 Agent 互通 · 自动代码审查 · 零配置
Verifiable AI coding agent harness / 可验证的 AI 编码代理：evidence hash-chain · hollow-answer gate · manual verification checklist · 6 engines + MCP · multi-model · Windows/CJK · listed in awesome-opensource-ai & Collabnix awesome-mcp-lists
Adaptive Reasoning Engine for Efficient and Context-Aware Intelligence
An open-source AI reasoning framework that uses dialectics, semantic graphs, and polarity management to drive LLMs toward objective synthesis and advanced human-AI collaborative decision-making.
Open WebUI Logic Tree Multi-Model LLM Project - Advanced AI reasoning with Sakana AI's AB-MCTS and sophisticated multi-model collaboration
🧭 Strategic BDI cognitive reasoning engine for AI agents. Goal decomposition DAGs, multi-factor utility scoring, risk evaluation, and adaptive replanning over MCP.
A Python-based logical reasoning system combining rule-based engines with Large Language Models (LLMs) for business automation. Supports deduction and hypothesis testing, partial fact completion, and automated fact retrieval via documents or chat. Features include explainable reasoning, workflow integration, and customizable knowledge bases.
Turns natural-language requirements into executable Python software, tests it in isolation, and packages only independently validated builds.
Recursive reasoning engine for AI agents and vector databases. Powered by MIT's RLM.
AI-powered multi-agent financial advisor system with LangGraph orchestration across nine specialized agents including retrieval, portfolio analysis, market desk, due diligence, and compliance, routing through a LiteLLM gateway, computing real portfolio risk metrics, and holding risky answers for human review before they reach the user.
Tracks multi-step reasoning chains, supports branching hypotheses, and prunes dead-end thought paths
Multi-round extended thinking critic performing backtracking, hypothesis testing, and factual ground checks
Multi-round extended thinking critic performing backtracking, hypothesis testing, and factual ground checks
🧠 Open-source AI reasoning research platform — persistent reasoning graphs, multi-agent swarms, Graph-of-Thoughts, and MemGPT-style memory. Built with Claude Opus 4.6 by Anthropic. Explore, verify, and fork AI thinking in real-time.
RDFS forward-chaining deductive inference engine computing transitive closures across subClassOf, subPropertyOf, and domain/range type rules.
AI-Agentic framework for Digital Twins in water management. Integrating LLMs to perform automated system diagnostics, natural language querying of sensor data, and real-time infrastructure optimization.
RDFS forward-chaining deductive inference engine computing transitive closures across subClassOf, subPropertyOf, and domain/range type rules.
Tracks multi-step reasoning chains, supports branching hypotheses, and prunes dead-end thought paths
Local-first Windows AI governance and reasoning software for U.S. evaluation. Version 4.4.5 is an engineering candidate; production release blocked.
To associate your repository with the reasoning-engine topic, visit your repo's landing page and select "manage topics."