Hi gang -
We’re proud to announce that our latest game, MONSTER PROOF is now in beta and ready for testers. It’s a math and logic puzzle game, sort of like a more complex Sudoku. It was built on Meteor and Famo.us.
You’re the ruler of a land populated with Monsters. By solving puzzles, you help gather resources needed to run and grow your country. It has a humorous tongue-in-cheek tone throughout, and a tech tree to unlock upgrades and new features.
As an added bonus, by playing the game, you are helping to make software more secure. The game is part of DARPA’s Crowd Sourced Formal Verification project, and player’s actions in-game are mapped to formal verification - a process through which software can be verified to have specific properties, such as memory safety or the lack of vulnerability to injection attacks.
If you’re curious to see how we mapped this hard math problem to a game, check out Monster Proof! Please send us feedback so we can make it better!
Note - you can play as a guest to get the idea, but cannot save your progress, purchase upgrades, or play ‘real’ levels. For that, you’ll need to register for free at verigames.com.