📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
Repository Index
47,133 repositories indexed
1–24 of 24 · 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
- bert
- sentence-encoding
- deep-learning
- clip-model
Hierarchical Reasoning Model Official Release
- brain-inspired-ai
- deep-learning
- large-language-models
- reasoning
A platform for Reasoning systems (Reinforcement Learning, Contextual Bandits, etc.)
Python Toolkit for Causal and Probabilistic Reasoning
- python
- bayesian-networks
- causal-inference
- causal-discovery
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.
- agents
- calibration
- classification
- decision-making
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.
Official Code for OpenVLHarness: Real-World Visual Agentic Tool‑Use with Multimodal Memory
- agent-harness
- agentic-ai
- ai-agents
- coding-agent
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.
- cql
- clinical-quality-language
- cds
- java
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
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
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
- agent-memory
- agent-trace
- ai-agent-reasoning
- ai-agents
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
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.
- claude-code
- claude-code-plugins
- decision-tracking
- embeddings