Synthesized Logic Language for World Models 🌱🐋🌍
-
Updated
Nov 6, 2026 - Rust
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.
Turns natural-language requirements into executable Python software, tests it in isolation, and packages only independently validated builds.
Open WebUI Logic Tree Multi-Model LLM Project - Advanced AI reasoning with Sakana AI's AB-MCTS and sophisticated multi-model collaboration
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.
🧭 Strategic BDI cognitive reasoning engine for AI agents. Goal decomposition DAGs, multi-factor utility scoring, risk evaluation, and adaptive replanning over MCP.
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.
🧠 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.
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.
Local-first Windows AI governance and reasoning software for U.S. evaluation. Version 4.4.5 is an engineering candidate; production release blocked.
The smartest way to map, teach, and evolve workflows. Workable uses a distributed reasoning engine to turn intricate personal and professional processes into visually intuitive maps. It eliminates onboarding friction, identifies hidden bottlenecks, and actively proposes optimized workflow alternatives to ensure continuous improvement from day one.
Modular artificial cognitive architecture built from scratch, focused on memory, reasoning, knowledge and explainable intelligence.
A collection of meticulously crafted system prompts designed to transform general-purpose LLMs into specialized, value-aligned reasoning engines.
Deterministic logical reasoning engine using Vector Symbolic Architectures. 100% ProofWriter. CPU-only. No backprop.
“Mycelium” -- An Experimental AI reasoning framework exploring modular cognition, adaptive memory, self-correction, and hybrid symbolic-neural architectures for more dynamic and reliable intelligent systems.
Operator‑based meta‑logic engine for structured reasoning. Minimal, impersonal cognitive operators and a canonical reasoning cycle.
To associate your repository with the reasoning-engine topic, visit your repo's landing page and select "manage topics."