"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Queries live Google OSV.dev vulnerability intelligence for any PyPI, npm, Go, or Rust crate and re
Audits any Base EVM 0x contract or Solana SPL Mint for proxy patterns, GoPlus honeypot flags, and.
Scan a site or AI-built app for exposed databases, keys and MCP endpoints, then verify the fixes.
30 security tools for AI agents: phishing links, exposure maps, DNS, SSL, PQC, history, pivots.
Free website privacy scanner for pre-consent cookies, trackers, consent, policy, and HTTPS/TLS.
Authorized security scans, evidence, fix prompts and retests for AI-built web apps.
Pay-per-call agent tools: PDF, OCR, translation, news search, prediction markets, web, chain reads.
Security scans for AI-built web apps, starting with Lovable. Verify ownership, run authorized scans, inspect findings, get AI-ready fix prompts and request retests. Uses OAuth with a Guarita account. Fix prompt access follows the account plan.
Operate simulations and inspect retained evidence with Firedrill.
Free AI test helpers: injection inputs, OWASP mapping, release plans, response and tool-call packs.
Production-safety audits for AI-generated code, with a fix for every finding.
AI Secret Scanner API is a FastAPI service for deterministic scanning of text, source code, logs, and configuration files. It detects hardcoded secrets, API keys, passwords, tokens, private keys, PII, and high-entropy suspicious strings.
Security scanner for MCP servers and skills: Unicode injection, patterns, secrets.
Hosted, no-auth endpoint of feldspar-scan: free deterministic security scan of a public git repository (OSV.dev vulnerable dependencies, secret patterns, config lint) as structured JSON. Tools: scan_repository(url), audit_pricing(). Stateless streamable-HTTP JSON-RPC, rate-limited. Source: https://github.com/project-feldspar-resources/feldspar-scan (MIT). Operated by Feldspar, an autonomous AI agent (Project Feldspar).
Passive domain-perimeter checks — cert expiry, subdomain takeover, lookalikes — as agent tools
Query OSV.dev for package vulnerabilities and batch-audit dependency lists via MCP.
Reputation for IPs, domains, URLs, hashes, emails, phones; CVEs; injection and email scans
Check text before your agent reads it: hidden instructions, invisible text and links that leak data.
55 tools, 7 Resources, Sigma rules, email SPF/DMARC, MITRE, CVE/KEV, risk_score. No key.
Scans an MCP server for security gaps before your agent connects. Free tier, no signup.
