| Repository | Role | Language |
|---|
| axz-puretone-web-studio | Open-source harmony verification engine for producers: audio/MIDI analysis, FL Studio-ready PureTone MIDI, SHA256 composition receipts. | Python |
| axz-defect-homology-theory | Finite proof-audit framework for AXZ defect homology, obstruction classes, nano-gap stability, and replayable receipts. | HTML |
| axezent-library-of-verified-things | Open-core receipt verification dashboard for finite AI, software, math, and research claims. | Python |
| Axezent-AI-Scan-Console | Browser-based receipt scanner for Axezent AI CTR, PRK, and PRK-Fuzzer verification artifacts. | HTML |
| axezent-ai-prk-fuzzer | Structure-aware fuzzer and receipt generator for finite complexity reductions, SAT-to-CLIQUE benchmarks, and verifier stress tests. | Python |
| axezent-ai-poly-reduce-kernel | Reduction-receipt checker for finite complexity reductions, SAT mappings, graph encodings, and proof-certificate auditing. | Python |
| axezent-ai-ctr-kernel | Compliance turnstile for AI agent outputs, deterministic receipts, policy checks, and trace replay auditing. | Python |
| shawncalvinsnelling | GitHub profile README for Shawn Calvin Snelling and the AXZ / Axezent AI research ecosystem. | Markdown |
| axz-csl-kernel | Verification kernel for finite sparse-state trace replay with reference runtimes, source audits, and receipt discipline. | Lean |
| AXZ-ReceiptCI | Deterministic CI receipt engine that verifies tests, hashes artifacts, and emits reproducible JSON release certificates. | Python |
| AXZ-Hexadecimal-Base16-Ring-V1 | Finite exact arithmetic certificate for the hexadecimal ordered token sequence 1 through 9. | Python |
| AXZ-Palindromic-Byte-12488421 | Finite exact certificate for palindromic byte ordered digit sequence 12488421. | Python |
| AXZ-Asymptotic-Gap-Frontier-V1 | Finite exact certificates for exact-left ordered concatenation gap frontiers n=10 and n=11. | Python |
| AXZ-Hexagonal-Digit-1615284566 | Finite exact certificate for hexagonal-number-derived ordered digit sequence 1615284566. | Python |
| AXZ-Pentagonal-Digit-1512223551 | Finite exact certificate for pentagonal-number-derived ordered digit sequence 1512223551. | Python |
| AXZ-Triangular-Digit-136101521 | Finite exact certificate for triangular-number-derived ordered digit sequence 136101521. | Python |
| AXZ-Cube-Digit-182764125 | Finite exact certificate for cube-derived ordered digit sequence 182764125. | Python |
| AXZ-Square-Digit-149162536 | Finite exact certificate for square-derived ordered digit sequence 149162536. | Python |
| AXZ-Factorial-Digit-12624120 | Finite exact certificate for factorial-derived ordered digit sequence 12624120. | Python |
| AXZ-Fibonacci-Digit-1123581321 | Finite exact certificate for Fibonacci-derived ordered digit sequence 1123581321. | Python |
| AXZ-Forward-NoDivision-0123456789 | Finite exact certificate for forward ordered digit sequence 0123456789. | Python |
| AXZ-Reverse-NoDivision-9876543210 | Finite exact certificate for reverse ordered digit sequence 9876543210. | Python |
| AXZ-Research-Portfolio | Public-safe portfolio index for the AXZ / Axezent AI research ecosystem. | Python |
| upme-verify-community | Community edition of UPME-Verify, an independent verification engine for optimization results and proof artifacts. | Python |
| infinity-reduction-decider | Reduction-based classification engine by Axezent AI and Shawn Calvin Snelling for scale-stable regimes. | — |
| AXEZENT-MSQ-CERTIFIED | Certified parametric generator for all 3×3 magic squares. | Python |
| van-der-Waerden-W23 | Certified finite verification artifact for W(2,3)-style finite combinatorics. | — |
| AIAdvancedFrequencies | Early public frequency / signal exploration project. | HTML |