agentassert-abc/mkdocs.yml at main · qualixar/agentassert-abc · 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
site_name: AgentAssert Documentation
site_url: https://agentassert.com/docs
site_description: Formal behavioral specification and runtime enforcement for autonomous AI agents.
site_author: Varun Pratap Bhardwaj

repo_name: qualixar/agentassert-abc
repo_url: https://github.com/qualixar/agentassert-abc

copyright: Copyright &copy; 2026 Varun Pratap Bhardwaj &amp; Qualixar — Elastic License 2.0

theme:
  name: material
  palette:
    - scheme: default
      primary: deep purple
      accent: amber
      toggle:
        icon: material/brightness-7
        name: Switch to dark mode
    - scheme: slate
      primary: deep purple
      accent: amber
      toggle:
        icon: material/brightness-4
        name: Switch to light mode
  features:
    - navigation.instant
    - navigation.tracking
    - navigation.tabs
    - navigation.tabs.sticky
    - navigation.sections
    - navigation.expand
    - navigation.top
    - search.suggest
    - search.highlight
    - content.code.copy
    - content.code.annotate
    - content.tabs.link
    - toc.follow
  icon:
    repo: fontawesome/brands/github
  font:
    text: Inter
    code: JetBrains Mono

plugins:
  - search
  - mkdocstrings:
      handlers:
        python:
          options:
            show_source: false
            show_root_heading: true
            heading_level: 3

markdown_extensions:
  - admonition
  - pymdownx.details
  - pymdownx.superfences
  - pymdownx.highlight:
      anchor_linenums: true
  - pymdownx.inlinehilite
  - pymdownx.tabbed:
      alternate_style: true
  - pymdownx.snippets
  - pymdownx.emoji:
      emoji_index: !!python/name:material.extensions.emoji.twemoji
      emoji_generator: !!python/name:material.extensions.emoji.to_svg
  - attr_list
  - md_in_html
  - tables
  - toc:
      permalink: true

nav:
  - Home: index.md
  - Getting Started: getting-started.md
  - ContractSpec DSL: contractspec.md
  - Framework Integrations: integrations.md
  - Domain Contracts: contracts-catalog.md
  - Metrics & Certification: metrics.md
  - Benchmarks: benchmarks.md
  - Examples: examples.md
  - API Reference: api.md

extra:
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/qualixar/agentassert-abc
    - icon: fontawesome/solid/globe
      link: https://agentassert.com
    - icon: fontawesome/solid/file-lines
      link: https://arxiv.org/abs/2602.22302