# agi is not a singleton

rec// /assets/videos/universitas_ai.mp4

▶

video slot — patch in the product walkthrough here

[ interface preview — placeholder container, ready for hero-demo.mp4 ]

The stack

Our Reasoning core.

For teams

Socrates for Teams

Desktop AppmacOS, Windows, Linux — B2C & B2B

Web AppBrowser-based — B2C & B2B

Includes Universitas's proprietary data integration, tooling, and federated memory — built into the vertical stack, not exposed anywhere else.

For developers

Socrates for Developers

Agent SDKStateful, in your codebase

Stateful APIPersistent sessions over REST

Sigma Reasoning APIPure quantitative reasoning

Socrates CodeTerminal coding agent

Composable building blocks. Bring your own integrations and infrastructure — this track is deliberately unbundled.

Desktop App

macOS, Windows, and Linux — or build directly against the SDK.

macOS 12+

Mac OS

Download

Windows 10/11

Windows

Download

Any distro

Linux

Install via terminal

For developers

Agent SDK

● stateful by default

Call Socrates directly from your own code. Sessions hold state across calls — no context to re-send, no history to manage yourself. The SDK wraps our Stateful API; call either one.

Read the docs View on package registry

$ pip install socrates-sdk

from socrates import Agent

agent = Agent(model="socrates-1")
session = agent.session()  # state persists across calls

session.ask("what do we actually know about this?")
session.ask("and what haven't we verified yet?")
# ^ remembers the prior turn — no history to resend

$ npm install @universitas/socrates

import { Agent } from "@universitas/socrates";

const agent = new Agent({ model: "socrates-1" });
const session = agent.session(); // state persists across calls

await session.ask("what do we actually know about this?");
await session.ask("and what haven't we verified yet?");

For developers

Socrates Code

A coding agent that lives in your terminal. Same reasoning core as the desktop app, tuned for reading, editing, testing, and shipping inside your repo.

View CLI docs

$ curl -fsSL https://socrates.universitas.ai/code/install.sh | bash

> irm https://socrates.universitas.ai/code/install.ps1 | iex

Reasoning API

Σ Socrates Sigma

Pure quantitative reasoning. Post-trained by Universitas for mathematics, the sciences, and competition-grade problem sets — AIME-class and beyond. Call it directly, independent of the agent.

Every answer carries a chain of provenance back to its inputs — you can see the steps, not just the result.

View API docs

$ pip install socrates-sdk

from socrates import Sigma

result = Sigma.solve(
    problem="prove that sqrt(2) is irrational",
    show_work=True,
)

print(result.answer)
print(result.provenance)  # step-by-step chain of provenance

Speaks the standards, not just its own API.

MCP — Model Context Protocol Agent Skills

Agent-to-agent

The Internet of AI Agents

Socrates doesn't work alone. Agent-to-Agent (A2A) research networks let multiple specialized agents collaborate in real time — sharing context, cross-validating findings, and synthesizing insights across disciplines.

Parallel agent workflows for faster, deeper research.
Federated memory that persists between sessions, grows with use, and never resets.
Verified citations and chain of provenance at every reasoning step.

Deploy coordinated agent teams on your most complex research challenges.

Talk to us about research deployments

rec// /assets/videos/a2a_research.mp4

▶

rec// /assets/videos/feature-sandbox.mp4

▶

video slot

Five sandboxed backends — local, Docker, SSH, Singularity, Modal — so it can test an idea without risking your system.