site_name: lambdagent Documentation
site_description: Lambda Calculus Agent DSL
repo_url: https://github.com/kenny67nju/lambdagent

theme:
  name: material
  palette:
    primary: indigo
  features:
    - content.code.copy
    - navigation.sections

nav:
  - Home: index.md
  - Quick Start: quickstart.md
  - Core Constructs: constructs.md
  - YAML Configuration: yaml-config.md
  - Multi-Agent: multi-agent.md
  - API Reference: api.md
  - AgentPaaS: agentpaas.md
  - Product:
    - Desktop 安装与使用手册 (中文): DESKTOP_MANUAL_zh.md
    - Desktop Requirements Change: requirements-change-personal-desktop.md
  - Theory: theory.md
  - Research:
    - Formal Theory: research/THEORY.md
    - Experiment Plan: research/PLAN.md

plugins:
  - search

markdown_extensions:
  - pymdownx.highlight
  - pymdownx.superfences
  - admonition
  - tables