Wiki3.ai

A local-first AI platform built on Jupyter notebooks for Knowledge Graph creation with local LLMs, formal methods, and agents.

Overview
Repositories
Projects
Packages
People

Pinned Loading

wiki3-app wiki3-app Public

Desktop (Mobile planned) App for running Wiki3.ai sites

JavaScript 6 1
verified-agent verified-agent Public

A ReAct (Reasoning Acting) agent in ACL2 for verified behavior

Jupyter Notebook 7
agent-client-kernel agent-client-kernel Public

A Zed Agent Client Protocol (ACP) Jupyter Kernel

Jupyter Notebook 35 2
ai-sdk-chat-kernel ai-sdk-chat-kernel Public

Forked from wiki3-ai/webllm-chat-kernel

JupyterLite chat kernel that uses Vercel AI SDK

TypeScript 2
wiki3-ai-site wiki3-ai-site Public

Source for Wiki3.ai site

Jupyter Notebook 5 1
wiki3-ai-template wiki3-ai-template Public template

Wiki3 AI Site Template

Jupyter Notebook

Repositories

Type Language Sort

nemo-jupyter Public
Jupyter kernel for Nemo datalog language

wiki3-ai/nemo-jupyter's past year of commit activity

Python 0 Apache-2.0 0 0 0 Updated Sep 7, 2026
nemo Public Forked from knowsys/nemo
A fast in-memory rule engine

wiki3-ai/nemo's past year of commit activity

Rust 0 Apache-2.0 22 0 1 Updated Sep 7, 2026
iggy Public Forked from apache/iggy
Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

wiki3-ai/iggy's past year of commit activity

Rust 0 Apache-2.0 431 0 0 Updated Sep 6, 2026
hermes-devcontainer Public
VSCode devcontainer for running Hermes Agent

wiki3-ai/hermes-devcontainer's past year of commit activity

Dockerfile 0 Apache-2.0 0 0 0 Updated Sep 3, 2026
jarvet Public

wiki3-ai/jarvet's past year of commit activity

Python 0 GPL-3.0 0 0 0 Updated Sep 1, 2026
face-id Public
PWA for face identification and enrollment

wiki3-ai/face-id's past year of commit activity

0 0 0 1 Updated Aug 29, 2026
nemo-web Public Forked from knowsys/nemo-web
Web frontend for the Nemo rules engine

wiki3-ai/nemo-web's past year of commit activity

TypeScript 0 Apache-2.0 3 0 0 Updated Aug 25, 2026
nemo-agent-kernel Public
Wiki3 AI datalog (Nemo) ReAct agent Jupyter kernel

wiki3-ai/nemo-agent-kernel's past year of commit activity

0 AGPL-3.0 0 0 0 Updated Aug 23, 2026
wiki3-runtime Public
Wiki3 Runtime for Cordis DeepSeek Harness

wiki3-ai/wiki3-runtime's past year of commit activity

0 AGPL-3.0 0 0 3 Updated Aug 22, 2026
jj Public Forked from jj-vcs/jj
A Git-compatible VCS that is both simple and powerful

wiki3-ai/jj's past year of commit activity

Rust 0 Apache-2.0 1,243 0 0 Updated Aug 11, 2026

View all repositories

People

Top languages

Loading…

Most used topics

Loading…

Wiki3.ai · GitHub

Uh oh!

Uh oh!

Wiki3.ai

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!