Graphicle-AI / graphicle
Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
Graphicle-AI / graphicle
ModernRelay / omnigraph
Object-storage native graph database with git-style branching, a typed ontology, and hybrid graph, vector, and full-text retrieval over Lance files.
fabio-rovai / open-ontologies
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.
Jamailar / Beav
Desktop AI workspace for content creators that saves and transcribes social posts, plans content, writes drafts, and makes images and short videos.
Pinvou / pinvou-agent
Open-source desktop AI agent for tools, files, knowledge, workflows, and real deliverables.
deeplethe / utopia
World's first open-source enterprise world model.
cocoindex-io / cocoindex
Incremental engine for long horizon agents 🌟 Star if you like it!
jpzk / opensidian
A privacy-first, open-source platform for knowledge management and collaboration.
Freaction / Aquilum
Fast local-first Markdown knowledge base for Windows with live preview, search, graph, Dataview, book reader, and MCP
nymtech / nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
succinctlabs / sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
GrafeoDB / grafeo
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.
kdsz001 / OpenWiki
OpenWiki — Mac desktop AI knowledge management tool. Capture clipboard, build personal wiki, get AI insights.
alterem / knowledge-grab
knowledge-grab 是一个基于 Tauri 和 Vue 3 构建的桌面应用程序，方便用户从 国家中小学智慧教育平台 (basic.smartedu.cn) 下载各类教育资源。
lucas-pospor / cairn
Local-first Markdown notes for Linux, Windows and Android. Plain .md folders, optional end-to-end encrypted sync to a server you run yourself.
mimblewimble / grin
Minimal implementation of the Mimblewimble protocol.
aleo-labs-protocol / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
aleo-labs-protocol / snarkOS
A Decentralized Operating System for ZK Applications
typedb / typedb
TypeDB: Built for systems, not records
yvgude / lean-ctx
LeanCTX is the Context Gateway for AI Systems. Select task-relevant context, apply supported controls, connect local knowledge and inspect recorded evidence. Open-source Engine: CLI, MCP, hooks and supported proxy paths.
raphaelmansuy / edgequake
EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation
kenforthewin / atomic
Self-hosted, semantically-connected personal knowledge base
starkware-libs / cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
iwe-org / iwe
Markdown knowledge graph — LSP for your editor, CLI + MCP memory for your AI agents
noir-lang / noir
Noir is a domain specific language for zero knowledge proofs
darkrenaissance / darkfi
Anonymous. Uncensored. Sovereign.
aleo-labs-protocol / snarkVM
A zkVM for Decentralized Private Computations (DPC)
zcash / halo2
The Halo2 zero-knowledge proving system
lambdaclass / ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
microsoft / Spartan
Spartan: High-speed zkSNARKs without trusted setup
0xMiden / miden-vm
STARK-based virtual machine
NucleoidAI / Nucleoid
Synthesized Logic Language for World Models 🌱🐋🌍
aovestdipaperino / tokensave
The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations. Pre-indexed semantic knowledge graphs for instant code understanding — fewer tokens, fewer tool calls, 100% local.
dusk-network / plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
nymtech / nym-vpn-client
Cross-platform open source VPN client built in Rust, with mixnet anonymity and WireGuard speed. Protects metadata, not just IP addresses. Zero-knowledge payments for unlinkable online activities.
EspressoSystems / jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
Muvon / octocode
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.
JordyZomer / lemmalog
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.
crabbuild / compass
Native, local-first knowledge graph engine for code and project artifacts—inspired by Graphify, built in Rust, and evolving beyond it.
jyjeanne / okf-rs
A fast, open-source Rust toolkit for generating, validating and serving Open Knowledge Format (OKF) knowledge bases from source code.
pinoox / neuromesh
The Biomimetic Context Engine & Neural Runtime for AI Coding Assistants
lichuang / semquery
Local document Q&A in your terminal — powered by on-device LLMs.
JanYork / llm-wiki-cli
Agent-driven proactive memory CLI for AI agents — autonomously recall, maintain, and evolve persistent, source-grounded knowledge across sessions.
FTShare-Lab / agent-claim-network
A general-purpose terminal AI agent with traceable knowledge sharing and dispute resolution｜面向终端的通用 AI 助手，可独立运行或参与团队协作，让 Agent 共享可检索、可追溯的知识，并通过自动分析与人工裁决处理分歧。
monarchjuno / guru-maker
Local-first desktop workspace for using, training, and replay-testing investment Gurus.
HellterEnjoy / Lilo
Compact Markdown note-taking widget with a built-in knowledge graph, written in Rust.
alex09x / kyb
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.
FalkorDB / FalkorDB
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).