requirements.txt

# Math Agent Vikhr Dependencies
# Multi-agent system for automated theorem proving using Lean 4
#
# NOTE: This project now uses uv for dependency management (recommended).
#       Use 'uv sync' instead of 'pip install -r requirements.txt'
#       See README.md for uv installation instructions.
#
# If you must use pip, this file provides the same dependencies as pyproject.toml

# Core dependencies for the multi-agent system
smolagents[toolkit]>=1.21.0
openai>=1.0.0
tiktoken>=0.5.0

# HTTP requests and API handling
requests>=2.28.0
tenacity>=8.0.0

# Additional utilities
brotli>=1.1.0
PyYAML>=6.0
opentelemetry-api>=1.20.0
opentelemetry-sdk>=1.20.0
opentelemetry-exporter-otlp>=1.36.0

# Observability and telemetry
arize-phoenix>=11.32.1
openinference-instrumentation-smolagents>=0.1.16
openinference-instrumentation-openai>=0.1.31