"deepseek" matching MCP servers:

Certification lookup for DeepSeek Harness plugins: an agent-facing interface to the dsh-plugin-certification registry, checking a plugin's five reproducible dimensions (manifest compliance, build hygiene, supply-chain Scorecard, release provenance, sandboxed install smoke) before recommending or installing it.

Adversarial multi-model reasoning verification for AI agents. Claude, Grok, and DeepSeek challenge each decision — returns ALLOW or HOLD with JWKS-signed attestation. x402-gated on Base.

MCP server for auditing DeepSeek Harness evidence. Enables inspection and verification of content-addressed audit manifests with fail-closed validation.

A scheduled MCP server that monitors Auth0 users by periodically collecting summaries, detecting suspicious admins, and auto-blocking them; it provides instant reports via SQLite and exposes tools for on-demand collection and configuration.

An MCP server that provides tools to read and modify Auth0 configurations via the Auth0 Management API v2, including write instruments for creation and updates but no deletion.

An agent-based network scanning system that uses Nmap for network discovery and leverages DeepSeek API to analyze scan results for security vulnerabilities and recommendations.

Enables monitoring Auth0 users by collecting summaries, storing reports in SQLite, and auto-blocking suspicious admins, all through MCP tools without an LLM.

MCP server that provides access to Auth0 Management API v2, offering read-only tools grouped by categories for querying Auth0 resources.

Enables DeepSeek Harness agents to natively use Burp Suite capabilities such as proxy, logger, history, repeater, rewrite, intercept, BCheck, and Bambda, with runtime configuration and controlled active operations.