Servers by @alexar76
All 5 servers published to the MCP Registry under the io.github.alexar76 namespace.
AIMarket MCP Gateway
RemoteStdio + HTTP MCP gateway: SSRF-hardened web_fetch, web_search, metis_verify, market_search.
PyPI
ARGUS-3 MCP Server
ARGUS-3 stdio MCP with WARDEN firewall: argus_ask, argus_status, argus_capabilities.
npm
AIMarket Oracle Gateway
Stdio MCP: 17 verifiable AIMarket oracles, 35 pay-per-call tools for AI agents.
PyPI
AIMarket MCP Packager
Stdio MCP packager: AIMarket hub plugins into self-hosted MCP server products.
PyPI
WARDEN — MCP Security Firewall
MCP security firewall: vet tool definitions before they reach the model.
npm