published by meob

2 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

1. Euclid-MCP ★ 4
   Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
2. PostgreSQL CVE & Release Intelligence
   PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths