Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
Object-storage native graph database with git-style branching, a typed ontology, and hybrid graph, vector, and full-text retrieval over Lance files.
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
Desktop AI workspace for content creators that saves and transcribes social posts, plans content, writes drafts, and makes images and short videos.
World's first open-source enterprise world model.
Incremental engine for long horizon agents 🌟 Star if you like it!
A privacy-first, open-source platform for knowledge management and collaboration.
Fast local-first Markdown knowledge base for Windows with live preview, search, graph, Dataview, book reader, and MCP
Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and RDF and all major query languages.
OpenWiki — Mac desktop AI knowledge management tool. Capture clipboard, build personal wiki, get AI insights.
knowledge-grab 是一个基于 Tauri 和 Vue 3 构建的桌面应用程序,方便用户从 国家中小学智慧教育平台 (basic.smartedu.cn) 下载各类教育资源。
Local-first Markdown notes for Linux, Windows and Android. Plain .md folders, optional end-to-end encrypted sync to a server you run yourself.
Minimal implementation of the Mimblewimble protocol.
TypeDB: Built for systems, not records
EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation
Self-hosted, semantically-connected personal knowledge base
Cairo is the first Turing-complete language for creating provable programs for general computation.
Markdown knowledge graph — LSP for your editor, CLI + MCP memory for your AI agents
Spartan: High-speed zkSNARKs without trusted setup
Synthesized Logic Language for World Models 🌱🐋🌍
A Rust Implementation of the PLONK ZKP System and Extensions
Structural code intelligence for AI agents — semantic search, knowledge graphs, and a built-in MCP server in one Rust binary. Give Claude, Cursor, and any MCP client a deep understanding of your codebase.
A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.
Native, local-first knowledge graph engine for code and project artifacts—inspired by Graphify, built in Rust, and evolving beyond it.
The Biomimetic Context Engine & Neural Runtime for AI Coding Assistants
Local document Q&A in your terminal — powered by on-device LLMs.
Agent-driven proactive memory CLI for AI agents — autonomously recall, maintain, and evolve persistent, source-grounded knowledge across sessions.
A general-purpose terminal AI agent with traceable knowledge sharing and dispute resolution|面向终端的通用 AI 助手,可独立运行或参与团队协作,让 Agent 共享可检索、可追溯的知识,并通过自动分析与人工裁决处理分歧。
Local-first desktop workspace for using, training, and replay-testing investment Gurus.
Compact Markdown note-taking widget with a built-in knowledge graph, written in Rust.
Git-backed shared memory for AI agent fleets: searchable knowledge base, incident and task tracking, every write versioned and attributed. CLI, HTTP API and MCP server.
A super fast Graph Database uses GraphBLAS under the hood for its sparse adjacency matrix graph representation. Our goal is to provide the best Knowledge Graph for LLM (GraphRAG).