ezyang/logitext

The Incredible Proof Machine

The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.

Tree Proof Generator

Evidence-aware interactive visual explainers for Codex and Claude Code.

A picture is worth a thousand words. Claude Code plugin that turns a sentence into local-first interactive GUIs and diagrams from tiny JSON specs, nothing leaves the browser.

Create beautiful diagrams just by typing notation in plain text.

Animated, explorable diagrams for Claude and other coding agents, from a short JSON spec.

Claude.ai's generative UI — reverse-engineered, rebuilt for pi. Interactive HTML/SVG widgets in native macOS windows.

Visualize Every Step with AI — bilingual visual explanations, interactive models and synchronized narration.