📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
Open-source LLM knowledge platform: turn raw documents into a queryable RAG, an autonomous reasoning agent, and a self-maintaining Wiki.
🏄 Scalable embedding, reasoning, ranking for images and sentences with CLIP
Hierarchical Reasoning Model Official Release
A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)
Python Toolkit for Causal and Probabilistic Reasoning
WFGY is heading toward WFGY 5.0 Polaris Protocol, a major open-source release for AI reasoning, RAG, agents, and real-world workflows. Includes Problem Map, Global Debug Card, WFGY 4.0, and the CFV Easter Egg.
Open decision models from 0.8B to 27B: a calibrated probability for every option in one pass, and a short thought only when unsure. Engine for vLLM, llama.cpp and MLX.
EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluation code.
The foundation layer for agentic intelligence.
GRAVA: A Unified Grounded Reasoning-to-Action Framework for Autonomous Driving. Project overview.
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
TypeQL: Built for systems, not records
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
Official Repository of paper OmniReasoning: Pushing the Limits of Audio-Visual Joint Reasoning
Utilities for reasoning about musical notes, frequencies, and intervals
[ICML 2026] Let LLMs invent and evolve languages for efficient reasoning.
Monadic effects and equational reasoning in Rocq
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
Local-first automation Agent & deterministic workflow engine — the secure control layer between AI and your data. Data stays local. Connect your own LLM / files / notes / databases via Connector API. ReAct reasoning · DAG/WAL/Saga/idempotent execution · MCP · offline-capable.
Local-first operating memory for AI coding agents - Claude Code, Codex, and any MCP client. Tracks decisions and their evolution. SQLite + on-device embeddings, no cloud.