#Decomposition MCP Servers
Discover 2 MCP servers tagged with Decomposition on the Vinkius App Catalog.
Ada Lovelace Algorithmic Prover
1 toolsYour AI said 'process the data' and called it an algorithm. That is not an algorithm. That is a wish. No step sequence, no edge cases, no scope limits. Ada Lovelace wrote the first published algorithm. Note G, 1843. Specifying every operation: V4 = V4 × V5, V6 = V6 − V4. This tool forces step sequencing, abstraction extraction, edge case analysis, operation decomposition, and honest scope bounding.
Archimedes First Principles Prover MCP Server
1 toolsAn AI recommended restructuring 'because the industry leader does it that way.' That is analogy. Not axiom. The foundational claim was never stated: at what volume does the current structure fail? The problem was never decomposed. The conclusion was asserted with 'obviously'. Never derived. The boundaries were never tested: when does this approach cost more than the value it creates? Archimedes derived pi from polygon geometry. Not from Egyptian estimates. This tool forces axiom examination, decomposition, proof derivation, boundary testing, and leverage point identification.