I was playing around with context engineering ideas and I built a framework that seems to work well. Not claiming any true rigor, but this has built some really complex tooling for me if used properly in your favorite agentic ide. Might be more of an explorative tool for formal math, but for code that can be unit tested, this has give me great results.

Rising sea is the future imo.