OpenShell-Research/zensical.toml at main · NVIDIA/OpenShell-Research · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
[project]
site_name = "OpenShell Research"
site_description = "Research engineering Dev Notes and software documentation from the OpenShell team."
site_author = "OpenShell Research Engineering"
repo_url = "https://github.com/NVIDIA/OpenShell-Research"
repo_name = "OpenShell Research on GitHub"
copyright = """
<a href="https://github.com/NVIDIA/OpenShell">OpenShell on GitHub <span aria-hidden="true">↗</span></a>
"""
docs_dir = "docs"
site_dir = "site"
extra_css = [
  "stylesheets/dev-notes.css",
  "stylesheets/documentation.css"
]
extra_javascript = ["javascripts/navigation-drawer.js"]
nav = [
  {"Dev Notes" = [
    "dev-notes/index.md",
    {"Posts" = [
      # dev-notes:nav:start
      {"Can Formal Methods Govern AI-Generated Robot Actions?" = "dev-notes/posts/2026-08-07-formal-methods-ai-generated-robot-actions.md"},
      {"Bringing Privacy and Security to the Edge with OpenShell" = "dev-notes/posts/2026-07-20-policy-controlling-reachy-mini-with-openshell.md"}
      # dev-notes:nav:end
    ]}
  ]},
  {"Documentation" = [
    "documentation/index.md",
    {"Egress Gate" = [
      "documentation/egress-gate/index.md",
      {"Guides" = [
        {"Configure policies" = "documentation/egress-gate/configuration.md"},
        {"Parse request content" = "documentation/egress-gate/request-content.md"},
        {"Test policies offline" = "documentation/egress-gate/evaluation.md"},
        {"Run and operate Egress Gate" = "documentation/egress-gate/operations.md"}
      ]},
      {"Gates" = [
        "documentation/egress-gate/gates/index.md",
        {"Regex gate" = "documentation/egress-gate/gates/regex.md"},
        {"Add a custom gate" = "documentation/egress-gate/gates/custom.md"}
      ]},
      {"Architecture" = [
        "documentation/egress-gate/architecture/index.md",
        {"Request lifecycle" = "documentation/egress-gate/architecture/request-lifecycle.md"},
        {"Service boundary" = "documentation/egress-gate/architecture/service-boundary.md"}
      ]},
      {"Reference" = [
        {"Limits and failure behavior" = "documentation/egress-gate/reference/limits-and-failures.md"}
      ]}
    ]},
    {"OpenShell Agent Runner" = [
      "documentation/openshell-agent-runner/index.md"
    ]}
  ]}
]

[project.extra]
homepage = "."
generator = false

[project.markdown_extensions.admonition]

[project.markdown_extensions."pymdownx.highlight"]
anchor_linenums = true
line_spans = "__span"
pygments_lang_class = true

[project.markdown_extensions."pymdownx.inlinehilite"]

[project.markdown_extensions."pymdownx.superfences"]

[project.theme]
custom_dir = "overrides"
favicon = "assets/brand/favicon.svg"
logo = "assets/brand/openshell-mark.svg"
icon.repo = "fontawesome/brands/github"
features = [
  "content.code.copy",
  "navigation.sections",
  "navigation.indexes",
  "navigation.path",
  "navigation.footer",
  "navigation.top",
  "search.highlight",
  "toc.follow"
]

[[project.theme.palette]]
media = "(prefers-color-scheme: light)"
scheme = "default"
primary = "black"
accent = "green"
toggle.icon = "lucide/moon"
toggle.name = "Switch to dark mode"

[[project.theme.palette]]
media = "(prefers-color-scheme: dark)"
scheme = "slate"
primary = "black"
accent = "green"
toggle.icon = "lucide/sun"
toggle.name = "Switch to light mode"