Projects

Franta

Franta was developed between Aug 14, 2026 and Aug 31, 2026 during the summer vacation.

An autonomous mathematics research agent that combines open-ended exploration with structured research and verification. Franta requires claims to be verified before entering trusted knowledge and incorporates human review and guidance between research cycles.

GitHub repository

Philosophy. Franta is an autonomous agent for mathematical research and exploration. The developer believes Franta is most valuable when it is used to support mathematical exploration and to help people understand and communicate mathematics, instead of replacing them.