https://formalized.si/ 2026-10-13 https://formalized.si/projects/narya-mcp/ 2026-10-13 https://formalized.si/projects/redstone-verify/ 2026-10-13 https://formalized.si/projects/redstone-verify/layouts.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add12__mutants__c4_rotated_6.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add12__mutants__no_carry_repeater_6.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add12__mutants__no_generate_repeater_6.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add12__mutants__no_side_repeater_6.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add12__mutants__xor_compare_mode_6.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add12__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add15__mutants__c4_rotated_7.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add15__mutants__no_carry_repeater_7.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add15__mutants__no_generate_repeater_7.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add15__mutants__no_side_repeater_7.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add15__mutants__xor_compare_mode_7.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add15__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add4__mutants__c4_rotated_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add4__mutants__no_carry_repeater_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add4__mutants__no_generate_repeater_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add4__mutants__no_side_repeater_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add4__mutants__xor_compare_mode_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add4__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add8__mutants__c4_rotated_4.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add8__mutants__no_carry_repeater_4.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add8__mutants__no_generate_repeater_4.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add8__mutants__no_side_repeater_4.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add8__mutants__xor_compare_mode_4.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/add8__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and24__mutants__no_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and24__mutants__no_repeater_1.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and24__mutants__no_repeater_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and24__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and2__cand_comparator.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and2__cand_hillclimb.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and2__mutants__long_side_wire.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and2__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and32__mutants__no_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and32__mutants__no_repeater_1.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and32__mutants__no_repeater_2.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and32__mutants__no_repeater_3.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/and32__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/c17__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/c17__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/dec2to4__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/dec2to4__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq12__mutants__no_bus_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq12__mutants__no_output_torch.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq12__mutants__no_side_repeater_7.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq12__mutants__xor_compare_mode_6.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq12__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq16__mutants__no_bus_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq16__mutants__no_output_torch.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq16__mutants__no_side_repeater_9.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq16__mutants__xor_compare_mode_8.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq16__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq8__mutants__no_bus_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq8__mutants__no_output_torch.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq8__mutants__no_side_repeater_5.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq8__mutants__xor_compare_mode_4.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/eq8__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/full_adder__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/full_adder__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/half_adder__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/half_adder__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/imply2__cand_levers_on_blocks.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/imply2__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/maj3__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/maj3__cand_hillclimb.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/maj3__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mul2__mutants__and_compare_mode.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mul2__mutants__no_and_side_repeater.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mul2__mutants__no_carry_repeater.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mul2__mutants__no_crossing_landing.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mul2__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mux2__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/mux2__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/nand2__cand_levers_on_blocks.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/nand2__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/not__cand_lever_on_block.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/not__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or17__cand_folded.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or17__cand_hillclimb.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or17__mutants__no_repeater.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or17__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or24__mutants__no_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or24__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or32__mutants__no_repeater_0.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or32__mutants__no_repeater_1.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/or32__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xnor2__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xnor2__cand_hillclimb.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xnor2__seed.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xor2__cand_agent.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xor2__cand_comparators.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xor2__cand_hillclimb.html 2026-10-13 https://formalized.si/projects/redstone-verify/v/xor2__seed.html 2026-10-13 https://formalized.si/projects/symmetry-narya/ 2026-10-13