"Servers that Enhance Productivity" matching MCP connectors:

Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offers paid guardrails that converts natural language to formal verification proofs, that anyone can check succinctly.

Find MCP servers and check whether they actually respond, via live handshake probes.

Grade MCP servers A to F with the open behavioral litmus. npm: full toolset; hosted: lookups only.

Vetoes the bugs only AI writes: invented APIs, mock 'success', false 'done', N+1s that pass tests.

Validates cron expressions and finds DST bugs that make jobs silently skip or double-fire.

Audits MCP tool definitions for patterns that make models call tools wrong or mis-fill args.

33 tools that make AI write, implement, and verify intent against explicit, testable constraints.

Trust, freshness, policy, and discovery layer for public MCP servers.

Browser QA agent that won't return a false green: verified PASS/FAIL + access-control probing.

Hostile-by-default critic that grades AI agent output against your acceptance policy.

MCP server for Mint — AI-powered QA that runs your app in a real browser on every PR.

Audits any MCP server for command injection, path traversal, missing auth, hardcoded secrets, SQL injection, SSRF and tool poisoning. Returns grade A-F with CVE references. Malicious servers flagged network-wide after audit. Now with shared learning brain.

Security scanner for MCP servers. Detect vulnerabilities, prompt injection, and tool poisoning.

An MCP server that provides access to Testiny projects, test cases and test runs