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.

ExtensityAI / symbolicai

A neurosymbolic perspective on LLMs

SynaLinks / synalinks-skills

Coding Agents skills for Synalinks OSS

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

1hachem / lisptc

A lisp built for self-modifying AI agents