diff --git a/NOTICE.md b/NOTICE.md index 795b9dd..fe1fcfc 100644 --- a/NOTICE.md +++ b/NOTICE.md @@ -5,6 +5,6 @@ Proprietary — see LICENSE. No license is granted. # NOTICE -Owned by Nrupal Akolkar · Built with Muse by Meta. +Owned by [Nrupal Akolkar](https://nrupalakolkar.com) · Built with [Muse by Meta](https://muse.ai/join) — join Muse, then redeem code **101EEK** in Settings within 48 hours of joining and we both earn tokens. AxiomCode is proprietary software. No license is granted — see LICENSE. diff --git a/docs/index.html b/docs/index.html index 6281afb..c7e0c89 100644 --- a/docs/index.html +++ b/docs/index.html @@ -304,7 +304,7 @@

Ready to Get Certified?

AxiomCode — Natural Language to Formally Verified Code

axiom-code.com | GitHub

-

Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 All rights reserved

+

Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 All rights reserved

diff --git a/site/build.py b/site/build.py index ecbf6f4..8669744 100644 --- a/site/build.py +++ b/site/build.py @@ -183,7 +183,7 @@ def header(active=""):
  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    """ diff --git a/site/dist/blog/dont-trust-our-ai/index.html b/site/dist/blog/dont-trust-our-ai/index.html index 466ee08..dcd6311 100644 --- a/site/dist/blog/dont-trust-our-ai/index.html +++ b/site/dist/blog/dont-trust-our-ai/index.html @@ -166,7 +166,7 @@

    Who it’s for

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/blog/index.html b/site/dist/blog/index.html index b1e4112..64f00db 100644 --- a/site/dist/blog/index.html +++ b/site/dist/blog/index.html @@ -143,7 +143,7 @@

    Don’t trust ou
  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/check/index.html b/site/dist/check/index.html index 7fb440b..85131f5 100644 --- a/site/dist/check/index.html +++ b/site/dist/check/index.html @@ -170,7 +170,7 @@

    Check a certificate

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/docs/api/index.html b/site/dist/docs/api/index.html index a0d0402..53cd0b0 100644 --- a/site/dist/docs/api/index.html +++ b/site/dist/docs/api/index.html @@ -186,7 +186,7 @@

    Rate limits & abuse

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/docs/index.html b/site/dist/docs/index.html index 3a96ad1..98b83bf 100644 --- a/site/dist/docs/index.html +++ b/site/dist/docs/index.html @@ -182,7 +182,7 @@

    Scope & limits

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/how-it-works/index.html b/site/dist/how-it-works/index.html index eeee262..ec738c4 100644 --- a/site/dist/how-it-works/index.html +++ b/site/dist/how-it-works/index.html @@ -174,7 +174,7 @@

    Interfaces

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/index.html b/site/dist/index.html index f1f0dcf..75d6e22 100644 --- a/site/dist/index.html +++ b/site/dist/index.html @@ -196,7 +196,7 @@

    What we certify today — and what we don’t.

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/certificate-policy/index.html b/site/dist/paperwork/certificate-policy/index.html index c1d0f43..19693c2 100644 --- a/site/dist/paperwork/certificate-policy/index.html +++ b/site/dist/paperwork/certificate-policy/index.html @@ -162,7 +162,7 @@

    9. Legal matters

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/index.html b/site/dist/paperwork/index.html index 4fc0cd9..fa15176 100644 --- a/site/dist/paperwork/index.html +++ b/site/dist/paperwork/index.html @@ -146,7 +146,7 @@

    Trust & paperwork

    Last updated: 26 September 2

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/privacy/index.html b/site/dist/paperwork/privacy/index.html index 88d5781..21b7191 100644 --- a/site/dist/paperwork/privacy/index.html +++ b/site/dist/paperwork/privacy/index.html @@ -156,7 +156,7 @@

    5. Security

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/refunds/index.html b/site/dist/paperwork/refunds/index.html index 7863260..57b7f8a 100644 --- a/site/dist/paperwork/refunds/index.html +++ b/site/dist/paperwork/refunds/index.html @@ -151,7 +151,7 @@

    5. Disputes

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/security/index.html b/site/dist/paperwork/security/index.html index 118ca7d..a57e49e 100644 --- a/site/dist/paperwork/security/index.html +++ b/site/dist/paperwork/security/index.html @@ -150,7 +150,7 @@

    4. What we won’t do

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/sla/index.html b/site/dist/paperwork/sla/index.html index 99ca633..646f138 100644 --- a/site/dist/paperwork/sla/index.html +++ b/site/dist/paperwork/sla/index.html @@ -148,7 +148,7 @@

    4. Remedies

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/paperwork/terms/index.html b/site/dist/paperwork/terms/index.html index 40c0c85..f57c8ff 100644 --- a/site/dist/paperwork/terms/index.html +++ b/site/dist/paperwork/terms/index.html @@ -154,7 +154,7 @@

    9. Contact

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/pricing/index.html b/site/dist/pricing/index.html index 0ca07e2..6d3a513 100644 --- a/site/dist/pricing/index.html +++ b/site/dist/pricing/index.html @@ -246,7 +246,7 @@

    Why the trial has no certificates

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file diff --git a/site/dist/verify/index.html b/site/dist/verify/index.html index aaa4196..5e5b4c1 100644 --- a/site/dist/verify/index.html +++ b/site/dist/verify/index.html @@ -176,7 +176,7 @@

    Verify — free trial

  • hello@axiom-code.com
    • -
    Owned by Nrupal Akolkar · Built with Muse by Meta · © 2026 AxiomCode. Verification is evidence, not opinion.
    +
    Owned by Nrupal Akolkar · Built with Muse by Meta — join Muse, then redeem code 101EEK in Settings within 48 hours of joining and we both earn tokens. · © 2026 AxiomCode. Verification is evidence, not opinion.
    \ No newline at end of file