meob

// all assets

Turn facts into formal proofs with deterministic Prolog-based logical reasoning.

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths