verantyx-logic-math / tools

253 kB

1 contributor

History: 1 commit

kofdai

Initial upload of Verantyx Logic Engine (v1.0)

29b87da verified 3 days ago

prompts
Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
append_incremental_cross.py

17.8 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
append_jsonl.py

832 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
append_modal_axioms.py

2.85 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
append_seed_chunk.py

6.45 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
append_unique_cross_data.py

6.98 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
apply_patches_jsonl.py

2.09 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
build_text_cross_kb.py

1.49 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
build_text_cross_seed.py

2.58 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
bulk_mine.py

3.86 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
convert_text_cross_kb_to_cross.py

3.37 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
dedupe_foundation_kb.py

2.63 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
direct_gen.py

811 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
export_to_safetensors.py

1.95 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
fix_kb_missing_fields.py

1.64 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_dual_text_cross.py

5.42 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_loop.sh

368 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb.py

8.42 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch10.py

5.52 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch11.py

6.42 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch12.py

5.32 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch13.py

5.42 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch14.py

5.48 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch15.py

5.26 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch16.py

5.88 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch17.py

5.08 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch18.py

5.91 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_prop_kb_batch19.py

5.25 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_text_cross_entries.py

6.04 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_text_cross_seed.sh

1.36 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
generate_unique_seed.py

7.42 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
mine_foundation_kb_gemini.py

12.1 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
mine_foundation_kb_ollama.py

8.06 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
mine_foundation_kb_openai.py

4.5 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase19_apply_patches.py

2.75 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase27_candidates_to_patches.py

2.2 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase27_generate_candidates.py

6.64 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase27_loop.sh

1.43 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_2_apply_and_mark.py

3.2 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_2_coverage_report.py

2.57 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_2_generate_candidates.py

4.54 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_3_apply_patches_append.py

2.87 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_3_make_patches.py

1.39 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_3_run_verifier.py

4.06 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_4_real_verify.py

18.1 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_extract_templates.py

4.93 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase28_generate_candidates.py

3.71 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase29_generate_conjectures.py

12.6 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase30_apply_patches.py

1.74 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago
phase30_falsify_conjectures.py

11.3 kB

Initial upload of Verantyx Logic Engine (v1.0) 3 days ago