Lectio
Curriculum + practice tracking for autodidacts. A gentle structure for self-teaching and iterative mastery.
logica lumina
An umbrella for luminous logic: learning tools, promptcraft, and proof-powered play.
Vision: “Illuminating the logical cosmos through play, self-initiation, and symbolic systems.”
Runeweave
Promptcraft workbench. Compose, test, and refine prompts as reusable spells—with structure and versioning.
Theorem Hearts
A proof-powered magical game: logic as spellcasting, formal systems as enchantment, learning as adventure.