I have some ideas for a mini logic solver mcp thst might help. Currently making it sortah simulate using such a tool

Its one of those things where it feels like itd be easy to get copycats even if theres a market