QuantumScan PQC Scanner
Post-quantum cryptography (PQC) security scanner for blockchain and AI agents. Detects quantum-vulnerable algorithms (ECDSA, RSA, DH) and provides NIST FIPS…
Directory
Post-quantum cryptography (PQC) security scanner for blockchain and AI agents. Detects quantum-vulnerable algorithms (ECDSA, RSA, DH) and provides NIST FIPS…
KHEPRA MCP Server smithery badge MCP Registry License Container PQC Sovereign compliance engine with 36,195 STIG/CCI/NIST/CMMC mappings. Air-gappable. Zero…
SafeMCP is an MCP tooling manager with simplicity and safety built in for your AI tools and Agents.
Cryptographic audit trail for AI agents via Model Context Protocol. Every AI decision signed Ed25519, hash-chained, tamper-proof. AISS-1.0 compliant…
Formally verified AI safety APIs for autonomous agents. 75+ endpoints, x402 USDC micropayments, MCP server, A2A protocol. No signup required.
Quantum-inspired keyring for AI coding agents. Secure secrets with superposition, entanglement, tunneling, and teleportation — CLI + 44 MCP tools.
Post-quantum, tamper-evident receipts for consequential agent actions (Ed25519 + ML-DSA-65, verifiable offline).
3 tools for global censorship intelligence (119 countries) + E2E encrypted agent-to-agent messaging with Double Ratchet and post-quantum crypto
A height-compressed, sublinear-space STARK prover. Designed to make very long zero-knowledge proofs practical on fixed-memory hardware (CPUs, GPUs, & edge…
A production-ready MCP server that gives AI agents deep codebase understanding. Features AST-based semantic analysis, context-aware security scanning (zero…
Operational risk intelligence for stablecoins. 13 MCP tools with 7-signal scoring model: peg stability, liquidity depth, holder concentration, custody risk…
MCP server giving AI agents full SSH access with secret-safe environment variable injection. Supports persistent sessions, structured command execution, SFTP…
BoostSecurity MCP acts as a safeguard preventing agents from adding vulnerable packages into projects. It analyzes every package an AI agent introduces, flags…
Real-time entity verification API for AI agents. Verify emails, URLs, and domains before your agent acts on them. Returns trust scores (0-1), verdicts…
Exposes Check Point security management data for AI-powered automation and analysis.
Privacy-preserving, decentralized memory infrastructure for AI agents. Post-quantum encrypted persistent memory with cross-session, cross-platform, and…
Read-only MCP server for secure filesystem exploration, searching, and analysis
A three-tier access control MCP server that allows AI assistants (Claude Code, Cursor, Windsurf) to safely scan, plan, and operate Linux servers via SSH…
Search, audit, and install from 117K+ open-source AI agent skills & MCP servers — every result carries a security grade (SAFE/CAUTION/UNSAFE/UNAUDITED) and…
AI-safe approval plan gated Kubernetes operations through MCP with OAuth, RBAC, audit, guardrails.
A security-focused MCP server for performing safe operations on an Ubuntu system, featuring robust security controls and audit logging.
Provides a flexible, type-safe Rust foundation for building applications with tool management, authentication handling, and custom middleware support, offering…
Production remote MCP server with 35 safe web-intelligence tools: 32 paid x402 URL operations plus 3 free discovery/demo tools. Base Mainnet USDC, no account…
TACIT (Tracked Agent Capabilities In Types) is a safety harness for AI agents. Instead of calling tools directly, agents write code in Scala 3 with capture…