MCP servers from io.github.velyan
Local-first MCP server + CLI that turns PDFs into source-linked, card-based HTML readers.