nocturnusai

Deterministic reasoning engine for agent context compression: extracts structured facts with logical inference, proof chains and truth maintenance.

About this tool

The English introduction is being prepared.