Browse MCP servers

MCP Harbor, an MCP Server Registry, Directory, and Tower to Buzz.

2 matching

filtered by io.github.tufantunc clear all

Showing 1–2 of 2 servers

Axiom — Advanced Math
stdio

io.github.tufantunc/axiom-math

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

official
SSH — policy-gated remote access
stdio

io.github.tufantunc/ssh-mcp

Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.

official 4 secrets

Search this catalogue from your agent

The registry is itself an MCP server. Add it once and your agent runs these same searches, with no account and no key.

claude mcp add --transport http mcp-registry-search https://ai.mcpharbor.dev/mcp