Publisher · registry namespace · 3 servers
io.github.formulahendry
Every server in the official MCP registry whose name starts with io.github.formulahendry/. The registry ties a namespace to a verified GitHub account or domain: “only the legitimate owner of a GitHub account or domain can publish servers under that namespace” (registry documentation). The facts below are counted over all of them; they are not a rating of the publisher.
- Servers in the registry
- 3
- Where they run
- 3 local package
- Source repositories
- 3 open publicly
- Deprecated in the registry
- 0
- npm build provenance attested
- 0
- Opened by us in a read-only session
- 3
- First version listed
- 2025-09-09
- Latest release
- 2025-09-26
Counted from the registry snapshot and our own checks; each server's page shows its facts with sources and dates.
- io.github.formulahendry/code-runnerCode Runner MCP Server which can run code in various programming languages.local packagedeveloper-tools · AI-classifiedNot probed (read-only run)tested 2026-10-09
- io.github.formulahendry/mcp-server-mcp-registryMCP Server for MCP Registry to discover and search for available MCP servers in the registrylocal packagedeveloper-tools · AI-classifiedNot probed (read-only run)tested 2026-10-08
- io.github.formulahendry/spec-driven-developmentMCP Server that facilitates spec-driven development workflows, not just Vibe Coding.local packagedeveloper-tools · AI-classifiedNot probed (read-only run)tested 2026-10-09