Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion NOTICE.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
2 changes: 1 addition & 1 deletion docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -304,7 +304,7 @@ <h2>Ready to Get <span class="cert-seal">Certified</span>?</h2>
<div class="container">
<p><strong>AxiomCode</strong> — Natural Language to Formally Verified Code</p>
<p><a href="https://axiom-code.com">axiom-code.com</a> | <a href="https://github.com/nrupala/axiomcode">GitHub</a></p>
<p style="margin-top: 20px; font-size: 0.85rem;">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 All rights reserved</p>
<p style="margin-top: 20px; font-size: 0.85rem;">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 All rights reserved</p>
</div>
</footer>

Expand Down
2 changes: 1 addition & 1 deletion site/build.py
Original file line number Diff line number Diff line change
Expand Up @@ -183,7 +183,7 @@ def header(active=""):
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>"""
Expand Down
2 changes: 1 addition & 1 deletion site/dist/blog/dont-trust-our-ai/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -166,7 +166,7 @@ <h2>Who it&rsquo;s for</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/blog/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ <h3 style="margin-top:0"><a href="/blog/dont-trust-our-ai/">Don&rsquo;t trust ou
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/check/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ <h1 class="pt">Check a certificate</h1>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/docs/api/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -186,7 +186,7 @@ <h2>Rate limits &amp; abuse</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -182,7 +182,7 @@ <h2 id="scope">Scope &amp; limits</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/how-it-works/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -174,7 +174,7 @@ <h2>Interfaces</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -196,7 +196,7 @@ <h2>What we certify today &mdash; and what we don&rsquo;t.</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/certificate-policy/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,7 @@ <h2>9. Legal matters</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -146,7 +146,7 @@ <h1 class="pt">Trust & paperwork</h1><p class="sub">Last updated: 26 September 2
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/privacy/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -156,7 +156,7 @@ <h2>5. Security</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/refunds/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -151,7 +151,7 @@ <h2>5. Disputes</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/security/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -150,7 +150,7 @@ <h2>4. What we won&rsquo;t do</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/sla/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -148,7 +148,7 @@ <h2>4. Remedies</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/paperwork/terms/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -154,7 +154,7 @@ <h2>9. Contact</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/pricing/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -246,7 +246,7 @@ <h2>Why the trial has no certificates</h2>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
2 changes: 1 addition & 1 deletion site/dist/verify/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -176,7 +176,7 @@ <h1 class="pt">Verify &mdash; free trial</h1>
<li><a href="mailto:hello@axiom-code.com">hello@axiom-code.com</a></li>
</ul></div>
</div>
<div class="fine">Owned by Nrupal Akolkar &middot; Built with Muse by Meta &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
<div class="fine">Owned by <a href="https://nrupalakolkar.com">Nrupal Akolkar</a> &middot; Built with <a href="https://muse.ai/join">Muse by Meta</a> &mdash; join Muse, then redeem code <strong>101EEK</strong> in Settings within 48 hours of joining and we both earn tokens. &middot; &copy; 2026 AxiomCode. Verification is evidence, not opinion.</div>
</div></footer>
</body>
</html>
Loading