Find · understand · set up

MCP servers in io.github.meob

Find the right publisher and setup for your task.

This is the last qualified snapshot, observed 2026-09-08. Source updates are not currently confirmed. Existing results remain available.

2 matching servers

Documented setup first

Registry listed

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

Local processSetup requirements unknownObserved 2026-09-08

Browse source-listed entries

Registry listed

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

Local processSetup requirements unknownObserved 2026-09-08

Browse source-listed entries