Strata — composes verified backend modules into your project and writes the proof they work. One MCP tool.
Scoring was not performed