Specify the behavior
Describe every valid input, output, error, security rule, and important example.
Software diversity, written by coding agents
Keep one implementation bug from reaching everyone.
Your coding agents create several independent implementations of every function in your specification. Each installation runs a different combination. Polyform connects failures to the implementations that were running and lets you stop distributing suspicious ones.
one installed app
1,953,125
possible combinations
read ZIP header
decode filename
make path safe
decompress file
check file data
Bad decoder found. Installations get a replacement.
A CONCRETE EXAMPLE
Suppose your app needs to decode a filename.
Let agents write the code
polyform generate --count 5 creates shared tests and five independent decoders.
Compare real results
If one decoder appears mostly in failed runs, quarantine it. Other decoders take its place.
THE WHOLE LOOP
Polyform adds four ideas to a normal software project.
Write down exactly what it accepts, returns, and must never do. Tests enforce those rules.
Each version follows the same contract, so any one can be used.
Your app contains every accepted version. Polyform tells each installation which ones to use.
Your app reports success or failure—not user files. The dashboard makes risky versions stand out.
WHY THIS IS POSSIBLE NOW
AI can write enough code to make diversity practical.
Coding agents can produce and test independent implementations at a scale that was too expensive when every version had to be handwritten. At the same time, advanced AI is making vulnerability discovery and exploitation faster. Shipping different implementations reduces the chance that one flaw exposes every installation at once. It cannot guarantee that an unknown vulnerability is already fixed, but a safe alternative may already be installed and ready to distribute when another version is quarantined.
Works with your development tools
You specify the behavior. Your agents write the implementations.
Keep using your editor, test framework, compiler, and source repository. Polyform starts Codex, checks every generated candidate on your computer, distributes different combinations to installations, and shows you which versions are tied to failures.
Build your first Polyform project
$ polyform init
$ polyform generate --count 5
✓ 5 implementations per function
$ polyform check
✓ all shared tests passed