Wiki3.ai

Pinned Loading

1. wiki3-app wiki3-app Public

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

   JavaScript 6 1

2. verified-agent verified-agent Public

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

   Jupyter Notebook 7

3. agent-client-kernel agent-client-kernel Public

   A Zed Agent Client Protocol (ACP) Jupyter Kernel

   Jupyter Notebook 35 2

4. 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

5. wiki3-ai-site wiki3-ai-site Public

   Source for Wiki3.ai site

   Jupyter Notebook 5 1

6. wiki3-ai-template wiki3-ai-template Public template

   Wiki3 AI Site Template

   Jupyter Notebook