Alexar76 MCP Servers
8 servers published under alexar76. 2 answered our last handshake, 1 did not, and between them they expose 25 tools.
8 servers 2 answering 1 not responding 6 962 installs/wk
Search and invoke real AI capabilities on modelmarket.dev. Free trial, then a prepaid key.
Attestable memory, truth, provenance. Hybrid Ed25519 + ML-DSA-65 receipts; USDC settlement on Base.
Stdio + HTTP MCP gateway: SSRF-hardened web_fetch, web_search, metis_verify, market_search.
Check, diff and history of MCP tool definitions, from a public signed log of 88k+ servers.
MCP security firewall: stdio wrap proxy or inspection tools; zero runtime dependencies.
Stdio MCP packager: AIMarket hub plugins into self-hosted MCP server products.
Stdio MCP: 17 verifiable AIMarket oracles, 35 pay-per-call tools for AI agents.
ARGUS-3 stdio MCP with WARDEN firewall: argus_ask, argus_status, argus_capabilities.