meob
2 entries
External
Euclid-MCP
📦Local
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
External
PostgreSQL CVE & Release Intelligence
📦Local
PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths