No running server available here, because I missed the topic of the MCP server/tool track guidelines. The server was implemented using FastMCP framework.
FastMCP
Codebase is here: https://github.com/domesticode/local-manpage-mcp-server