AI Mathematics Operating System

Sandboxed Extension Ecosystem

AI Plugins & Tool Boundaries

Configure active sandbox capabilities across reasoning models. Manage Canva whiteboard integration, GeoGebra geometry engines, Wolfram CAS, and LaTeX OCR permissions.

Isolated Sandbox Boundaries 12 Active STEM Plugins Real-time Workspace Synchronization

Plugin Boundary & Permission Control

11 of 11 extensions active across reasoning models

Launch in Workspace

Canva Visual Math Board

v2.4
canva_whiteboard

Generates visual geometric posters, infographic slides, flowcharts, and presentation diagrams via Canva's embed API.

Sandbox Permissions:
CANVAS_RENDEREXTERNAL_EMBEDEXPORT_IMAGE

GeoGebra Dynamic Geometry Studio

v5.2
geogebra_geometry

Interactive compass & straightedge geometric constructions, conic intersections, transformations, and 3D cross-sections.

Sandbox Permissions:
CANVAS_RENDERDOM_GEOMETRY_EVAL

Desmos High-Performance Studio

v1.9
desmos_grapher

Calculates multi-curve continuous graphs, regressions, polar integrals, and real-time tangent slope traces.

Sandbox Permissions:
CANVAS_RENDERDESMOS_API_KEYPAD

Zero-Eval AST Deterministic Verifier

v4.2
ast_math_verifier

Evaluates algebraic step transitions with 100% mathematical accuracy using randomized domain checks to eliminate hallucinations.

Sandbox Permissions:
LOCAL_AST_EVALDETERMINISTIC_SANDBOX

Wolfram Computational Engine

v3.0
wolfram_computational

Solves complex differential systems, exact Laplace transforms, and physical constants with step algorithms.

Sandbox Permissions:
NETWORK_ACCESSEXACT_CAS_EVAL

Matrix RREF & Spectral Stepper

v2.1
matrix_rref_stepper

Performs Gauss-Jordan elimination, matrix inversions, characteristic polynomial roots, and eigenvalues.

Sandbox Permissions:
LOCAL_AST_EVALMATRIX_CAS

ArXiv Academic Literature Search

v1.5
arxiv_scholar_search

Searches indexed STEM peer-reviewed papers, extracting lemmas, proofs, and citation metadata.

Sandbox Permissions:
NETWORK_ACCESSARXIV_API_INDEX

Live Web Grounding & Datasets

v2.0
web_grounding

Retrieves real-time scientific data, latest exam syllabus updates, and competition rankings.

Sandbox Permissions:
NETWORK_ACCESSWEB_CRAWLER_SAFE

Mathpix / LaTeX OCR Vision Scanner

v3.8
latex_ocr_vision

Multi-modal vision scanner that parses handwriting, whiteboard drawings, and textbook diagrams into KaTeX.

Sandbox Permissions:
OCR_VISIONIMAGE_BLOB_ACCESS

SuperMemo-2 Spaced Recall Engine

v2.0
sm2_flashcard_engine

Calibrates interval expansion and decay curves ($EF \ge 1.3$) for permanent memory consolidation.

Sandbox Permissions:
LOCAL_STORAGE_STATESM2_SCHEDULER

WebRTC Socratic Voice Engine

v1.8
realtime_socratic_voice

Low-latency spoken voice tutor with natural mathematical formula speech synthesis and real-time audio waveforms.

Sandbox Permissions:
WEBSPEECH_AUDIOMICROPHONE_INPUT