unix-docs-mcp
Provides tools for searching and reading historical 4.2BSD documentation, manual pages, and source code, including system call information.
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@unix-docs-mcpwhat's the man page for read(2)?"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
unix-docs MCP
An MCP server for working with historical UNIX documentation and source code, focused on development for 4.2 BSD.
Serves a single VAX/4.2BSD-focused reference over stdio: the prose manuals, the complete manual pages, and — yes — the full 4.2BSD source tree, all ingested into this repository.
What's in this repo
Path | Contents |
| Three prose documents: 4.2BSD System Manual, 4.2BSD Networking Implementation Notes, and the USENIX UNIX User's Manual Supplementary Documents |
| 681 manual pages from the 4.2BSD distribution (sections 1–8, l, n, o), nroff cleaned to plain text |
| The complete 4.2BSD source tree — 3,198 C/assembly/header files (~23 MB): the |
| The 4.2BSD system call table (152 entries), parsed from |
| Server and library code |
| Ingest scripts that build the corpora |
| Unit + end-to-end tests (19 passing) |
The full 4.2BSD source code is intentionally committed to this repository so the project is self-contained — no need to download distribution tarballs to use the source tools. Source and documentation are from the TUHS 4.2BSD distribution; BSD-derived code and documentation are freely redistributable.
Related MCP server: mcp-docs
Tools
The server registers 13 tools over stdio:
Documents
list_documents— list the prose documentsget_document_info— metadata plus a page-by-page overviewsearch_documents— ranked full-text search with snippetsread_pages— read a page or range of pages
Manual pages
list_manpages— list pages, optionally by sectionsearch_manpages— ranked search (optionally restricted to a section, e.g. 2 = syscalls)read_manpage— full text of a page, e.g.read(2)
Source code
search_source— grep-style search returningpath:line: coderead_source_file— read a file or a line range with line numbersfind_symbol— locate definitions, declarations, and references for a symbol
System calls
list_syscalls— the syscall table, optionally filteredget_syscall— look up a syscall by number or name
Across everything
search_all— one query across documents, man pages, and source
Usage
npm install
npm start # launch the MCP server over stdio
npm test # run the test suite
npm run ingest # rebuild all corpora from raw sources in ../rawConfigure it as an MCP server for any MCP client, e.g. in opencode.json:
{
"mcp": {
"unix-docs": {
"type": "stdio",
"command": "node",
"args": ["/path/to/unix-docs-mcp/src/index.js"]
}
}
}Development example
Search the kernel source for the TCP input path:
search_source({ query: "tcp_input", path_filter: "netinet" })
→ sys/netinet/tcp_input.c:98: tcp_input(m, ifp)Look up the read syscall:
get_syscall({ name_or_number: "read" })
→ #3 readFind where mbuf structures are defined:
find_symbol({ symbol: "sockaddr" })
→ [definition] src/etc/routed/af.c:107: ...Ingest
scripts/ingest.mjs builds the prose corpus from OCR'd PDFs in ../raw. scripts/ingest-dev.mjs builds the man page, source, and syscall corpora from a 4.2BSD distribution extracted to ../raw/42bsd/ (kernel under srcsys/, userland under src/).
License
Two different licenses apply to different parts of this repository:
This project's own code — the server, library, script, test, and demo files under
src/,scripts/,test/, anddemo/— is dedicated to the public domain under CC0 1.0 Universal.The bundled 4.2BSD material under
data/(source code, man pages, and prose documentation) is not covered by the CC0 dedication. It is BSD-derived and retains its own licensing; see the TUHS 4.2BSD distribution and the individual file headers for the applicable BSD terms.
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Servers
- Flicense-qualityDmaintenanceA tutorial MCP server for learning the Model Context Protocol by building file and system tools. Provides hands-on experience creating custom tools that enable AI models to interact with files and execute system commands.Last updated
- Alicense-qualityDmaintenanceGeneric MCP server that exposes Markdown documentation to LLMs, enabling them to search and answer questions about any software documentation.Last updatedMIT
- Alicense-qualityCmaintenanceMCP server to access and search adonis-mcp documentation files from GitHub, with tools for listing, searching, and extracting code examples.Last updated19MIT
Related MCP Connectors
MCP server for network documentation, generated by doc2mcp.
MCP server for accessing curated awesome list documentation
MCP server for skill documentation, generated by doc2mcp.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/runit-xze/unix-docs-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server