"oracle" matching MCP servers:

Enables read-only querying, evaluation, challenge, and judging of an Oracle project's rules and evidence without modifying the filesystem, plus task tracking for agents.

Enables AI coding agents to verify code patches locally with sub-50ms neuro-symbolic analysis, detecting structural issues like dependency cycles and interface drift without consuming output tokens.

One MCP endpoint, 43 tools for iOS-simulator E2E — native UI automation, Maestro flows, trustworthy oracle-ladder assertions, WebView DOM + network (JSON/HAR), and React Native debugging (Metro logs/network/state). macOS + Xcode.

Multi-database SQL validation service with Docker containerization, supporting PostgreSQL, MySQL, Oracle, SQL Server, and more, providing secure SQL execution with transaction rollback and zero data residue.

Enables AI agents to dynamically observe and test running Windows x64 user-mode programs through Frida instrumentation, memory scanning, hardware watchpoints, Ghidra address mapping, in-process oracle calls, and Unicorn emulation diffs.

Evaluates AI agent and MCP server competency across 6 quality dimensions using challenge-response tests, returning quality scores and W3C Verifiable Credentials.