Alkahest
High-performance computer algebra system with verifiable outputs. Well suited for pure and applied mathematics autoresearch.
CallCode
An experiment in product to build the human-AI interaction interface. Talk to the main agent using voice which orchestrates subagents from any provider to work on different tasks.
Cortex
Deep learning concepts implemented from scratch.