An MCP server for browsing and searching the 7robots.github.io documentation site.
This MCP server provides tools to explore a personal knowledge base organized into sections:
- agora - Conference notes and tech events
- anthologia - Collected writings by subject (biology, climate, physics, etc.)
- hypomnemata - Personal notes and memoranda
- melete - Practice and exercises
- polis - Civic and political topics
- selene - Lunar science content
- techne - Technology and craft
| Tool | Description |
|---|---|
ghdocs_list_sections |
List all documentation sections with descriptions and page counts |
ghdocs_list_pages |
List pages in a section or subsection |
ghdocs_get_page |
Get the full content of a documentation page |
ghdocs_search |
Search across all documentation pages |
All tools support response_format parameter (markdown or json).
- Python 3.11+
- GitHub token (for higher rate limits)
# Create virtual environment
uv venv
source .venv/bin/activate
# Install dependencies
uv pip install -e .
# Set up environment
cp .env.example .env
# Edit .env and add your GITHUB_TOKEN
# Run server
python server.py
# Or test with MCP Inspector
fastmcp inspect server.py| Variable | Required | Description |
|---|---|---|
GITHUB_TOKEN |
Recommended | GitHub personal access token for API access |
Create a .env file:
GITHUB_TOKEN=ghp_your_token_here- Push to GitHub
- Visit fastmcp.cloud
- Connect your repository
- Set
GITHUB_TOKENin project secrets - Deploy
Your server will be available at: https://your-project.fastmcp.app/mcp
Add to claude_desktop_config.json:
{
"mcpServers": {
"7robots-docs": {
"url": "https://your-project.fastmcp.app/mcp"
}
}
}ghdocs_list_sections()
ghdocs_list_pages(section="selene")
ghdocs_list_pages(section="anthologia", subsection="biology")
ghdocs_get_page(path="selene/Apollo-11.md")
ghdocs_search(query="lunar module")
ghdocs_search(query="machine learning", section="agora")
MIT