Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Free
2 servers across ai & agents and security & testing. The largest is Euclid.
AI & Agents · Security & Testing
2
servers published
2 categories
11k
downloads
counted by the registries
0
followers
told when a release lands
2 of 2
security-scanned
servers with a scan grade
2 MCP servers, most downloaded first. 2 of 2 are free to start.
PostgreSQL security for AI agents: CVEs, yanked releases, exploits, and upgrade paths
Free
Authentication
0 of 2 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.