Axiom Reasoning UI

Multi-agent theorem discovery interface for the Axiom Reasoning backend.

Features

• 🔬 Real-time theorem discovery visualization
• 📊 Dependency graph with interactive nodes
• 👥 Multi-worker status monitoring
• 📜 Live event streaming via SSE
• 🎯 Session configuration and management

Prerequisites

• Node.js >= 18
• pnpm (recommended) or npm
• Axiom Reasoning Backend running on port 5001 (or configured port)

Quick Start

1. Clone the repository

git clone <repository-url>
cd aevatar-axiom-reasoning

2. Install dependencies

pnpm install

3. Configure environment

Copy the environment template and modify as needed:

cp .env.example .env.local

4. Start development server

pnpm dev

The app will be available at http://localhost:3000

Environment Configuration

The project uses a layered environment configuration:

File	Purpose
.env	Default settings (base)
.env.development	Development mode (pnpm dev)
.env.production	Production build (pnpm build)
.env.local	Local overrides (gitignored)

Copy .env.example to .env.local for local customization:

cp .env.example .env.local

Available Variables

Variable	Description	Default
VITE_API_BASE_URL	Backend API base URL (empty = use proxy)	(empty)
VITE_BACKEND_URL	Backend URL for dev proxy	http://localhost:5001
VITE_ENABLE_DEBUG	Enable debug console logs	true
VITE_ENABLE_RAW_EVENTS	Show RAW EVENTS panel	true
VITE_APP_TITLE	Application title	Axiom Reasoning

Example .env.local

# Connect to a different backend
VITE_BACKEND_URL=http://192.168.1.100:5001

# Or use a remote API directly (bypasses proxy)
# VITE_API_BASE_URL=https://api.example.com

Scripts

Command	Description
pnpm dev	Start development server
pnpm build	Build for production
pnpm preview	Preview production build
pnpm lint	Type check with TypeScript

Project Structure

src/
├── adapters/          # Backend adapters
├── components/        # React components
│   └── ui/           # Reusable UI components (shadcn/ui style)
├── config/           # Environment configuration
├── hooks/            # Custom React hooks
├── services/         # API service layer
├── types/            # TypeScript type definitions
└── lib/              # Utility functions

Tech Stack

• Framework: React 19 + TypeScript
• Build Tool: Vite 6
• Styling: TailwindCSS 4
• UI Components: Radix UI primitives
• Graph Visualization: @xyflow/react + dagre
• Icons: Lucide React

Development

Connecting to Backend

The development server proxies /api/* requests to the backend URL configured in VITE_BACKEND_URL. Make sure the Axiom Reasoning backend is running before starting the frontend.

Building for Production

pnpm build

The production build will be output to dist/. Deploy these static files to any web server or CDN.

For production, set VITE_API_BASE_URL to your backend's public URL.

License

ISC