Dots for Mathbox

A dot is ChatGPT's always-on personal agent. These are recipes you can set up in your own.

Overview

Pursue research goals across distinct routes, track exact claim revisions and evidence dependencies, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.

Developer: Najib Idrissi-Kaïtouni

Category: Education & Research

Version: 3.2.0

https://github.com/nidrissi/mathbox

View on ChatGPT

Nothing matches these filters yet.