Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

Shared context, memory, and task coordination across AI coding agents. Single Go binary, local SQLite, hybrid keyword and semantic search.

A practical framework for AI-Assisted Research in Mathematics and Machine Learning