Skip to content
@awkronos

Awkronos

Verified mathematical software and open standards for AI.
README.md

Awkronos

Verified mathematical software and open standards for AI.

We build formally verified algorithms in Lean 4, open specifications for AI agent data portability, and proof infrastructure for organizations that need certainty.

Agent Data Pod — An open specification for portable, private AI agent storage built on the Solid Protocol. Draft status, contributions welcome.

Provably — Proof-carrying Python with Z3-backed formal verification via @verified decorators and refinement types.

awkronos.com · contact@awkronos.com · Seattle, WA

Popular repositories Loading

  1. kagami-keys kagami-keys Public

    Public keys for smart home integrations

  2. web web Public

    Agent Data Pod — An open specification for portable, private AI agent storage on Solid

    HTML

  3. provably provably Public

    Proof-carrying Python — Z3-backed formal verification via @verified decorators

    Python

  4. .github .github Public

    Awkronos organization profile

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…