Falsify — Find the Smallest Input That Breaks Your C++ Solution (Local AI, No API Keys)
What I Built Falsify is a local, offline-first debugging tool for competitive programmers. You give it a problem statement, your C++ solution, and a sample test — it uses an on-device open-source LLM (Gemma via Ollama) to write a correct brute force and a random generator. It then stress-tests your code against the brute force until it finds the exact smallest input that breaks your solution. When it finds a bug, it gives you three progressive hints instead of just the answer. Every competitive
What I Built Falsify is a local, offline-first debugging tool for competitive programmers. You give it a problem statement, your C++ solution, and a sample test — it uses an on-device open-source LLM (Gemma via Ollama) to write a correct brute force and a random generator. It then stress-tests your code against the brute force until it finds the exact smallest input that breaks your solution. When it finds a bug, it gives you three progressive hints instead of just the answer. Every competitive programmer knows the pain of passing all sample cases but getting a "Wrong Answer" on submission.…