Skip to content
Progress

Every project

Open source

8.5% of it built.

In development. Free tools for checking smart contracts, starting with Atheron Lens. Each one is built in private and opens its source when it is ready, and its link appears here the day it does.

Building0 of 14 shipped

Read from the copy of the company plan written Oct 10, 2026, 5:00 a.m.. The live plan has not answered yet.

Shipped this week

Nothing in this project shipped in the last seven days.

Timeline

Every dated piece and the dates the project works to, as the plan says now, beside what the plan of 7 October said.

  1. Today, October 10, 2026
    Building

    A one-line action that checks every pull request

    Planned for November 13, 2026, added since 7 October

  2. Building

    The analyser itself

    Planned for November 13, 2026, added since 7 October

  3. Next

    A property fuzzer

    Planned for December 18, 2026, added since 7 October

  4. Building

    Lens inside the code editors

    Planned for December 18, 2026, added since 7 October

  5. Later

    An upgrade and storage checker

    Planned for January 29, 2027, added since 7 October

  6. Later

    Ready-made invariants for common contracts

    Planned for January 29, 2027, added since 7 October

  7. Later

    An audit-ready report from every tool's findings

    Planned for February 19, 2027, added since 7 October

  8. Later

    A dependency and supply-chain scanner

    Planned for February 26, 2027, added since 7 October

  9. Later

    A gas and fee profiler

    Planned for February 26, 2027, added since 7 October

  10. Later

    A scanner for leaked keys and recovery phrases

    Planned for March 12, 2027, added since 7 October

  11. Later

    A linter for zero-knowledge circuits

    Planned for April 16, 2027, added since 7 October

  12. Later

    A symbolic explorer

    Planned for April 30, 2027, added since 7 October

  13. Later

    A checker for bridge and multisig settings

    Planned for May 28, 2027, added since 7 October

  14. Later

    A differential fuzzer for nodes and clients

    Planned for May 28, 2027, added since 7 October

Modules

  • Atheron Lens

    A free static analyser for smart contracts, starting with the EVM languages.

    0 of 3 shipped40.0%

    • The analyser itself: In development. The source opens at launch.
    • A one-line action that checks every pull request: In development. The source opens at launch.
    • Lens inside the code editors: In development. The source opens at launch.
    Open the module

  • Testing tools

    Tools that try to break a contract before anybody else does.

    0 of 5 shipped0.0%

    • A property fuzzer: In development. The source opens at launch.
    • Ready-made invariants for common contracts: In development. The source opens at launch.
    • An upgrade and storage checker: In development. The source opens at launch.
    • A symbolic explorer: In development. The source opens at launch.
    • A differential fuzzer for nodes and clients: In development. The source opens at launch.
    Open the module

  • Review tools

    Tools that get a project ready for its audit.

    0 of 6 shipped0.0%

    • An audit-ready report from every tool's findings: In development. The source opens at launch.
    • A gas and fee profiler: In development. The source opens at launch.
    • A dependency and supply-chain scanner: In development. The source opens at launch.
    • A scanner for leaked keys and recovery phrases: In development. The source opens at launch.
    • A linter for zero-knowledge circuits: In development. The source opens at launch.
    • A checker for bridge and multisig settings: In development. The source opens at launch.
    Open the module

Follow this project

Our daily update on Discord and Telegram names what moved.

Every project

Open source: progress · Atheron Progress