Nakinka contributed to the ostis-apps/geometry.ostis repository by enhancing the formalization of geometric concepts, specifically focusing on perpendicular bisectors and triangles. Their work involved refactoring and updating geometry-related tasks, with careful edits to .gwf files to improve the representation and consistency of these elements. Using XML and applying knowledge representation techniques, Nakinka stabilized the geometry module through a targeted fix-tasks commit, reducing the risk of regressions and supporting more reliable geometry reasoning. This effort enabled downstream features and streamlined debugging, demonstrating depth in formalization and geometry while working within a Git-managed workflow to ensure maintainable, domain-focused updates.