Current repository readingScanned Jul 24, 2026, 10:02 AM UTC

assura Codebase Valuation

Contract-first AI-native language. Write what it should do. AI proves it does.

View assura-lang/assura on GitHub
Open share card
CodeValuation.com
RepoWorth
github.com/assura-lang

assura

Contract-first AI-native language. Write what it should do. AI proves it does.

RepoWorth$24,208Current measured development value · 13.9 active build days
Rebuild complexity94.638/100Profile: Complex
1.7M code tokens474 source filesRust primary language
Scanned Jul 24, 2026Public GitHub repositorycodevaluation.com/repoworth/assura
Authored code1.7M tokens · 198,966 source lines
Complexity94.638/100 · Complex
Primary stackRust
Scan coverage97.06% · Content scan
RepoWorth development valuation

One valuation, with the evidence behind it.

RepoWorth models the current development value represented by the visible repository evidence. It does not include ideation, intellectual property, business value, product discovery, or sale price.

RepoWorthCurrent measured development value
$24,208

Modeled range $19,366 to $29,050

13.9 active build days111.4 engineering hours1.4M implementation tokens
Repository evidenceMeasured at the scanned commit
1.7M tokens

198,966 source lines across 474 authored files

62 test files494 dependencies97.06% scan coverage
Measured RepoWorth history

The current RepoWorth starts the measured history.

This current scan is the first measured point. Later scans add comparable history when the repository changes. RepoWorth is not back-cast onto commits that were never scanned.

Recorded RepoWorth$24,208
Current measured reading
Measured · Jul 24, 2026Data through · Jul 24, 2026
Measurement basisCurrent readingCurrent published repository scan
Evidence coverage97%current scan
Complexity95/100Measured from code scale and structural signals
Maintainability66/100Current structure, tests, and generated-code balance

This current scan establishes the RepoWorth baseline. Comparable value changes appear only after another completed scan under the same measurement basis.

RepoWorth history compares completed repository scans only when their measurement basis is compatible. Commit activity is shown separately so delivery volume is not presented as code value.

Repository contributors

Top contributors.

Ranked from the public GitHub contributor evidence available at the latest scan. This table describes measured repository activity, not ownership or original authorship.

RankContributorContributionsShare of top groupLatest measured activity
#1Sebastien Tardif@SebTardif2,318100.0%Current GitHub contributor snapshot
About assura

What the public repository appears to contain.

Contract-first AI-native language. Write what it should do. AI proves it does.

aicompilercontractsformal-verificationprogramming-languagerustsmtverificationz3
License
MIT
Default branch
main
GitHub stars
3
Forks
1
Last public push
Jul 22, 2026
Repository state
Active public repository
Detected language profile6.8MB authored source
Rust98.52%
Shell1.17%
TypeScript0.18%
JavaScript0.13%
Source files474
Test files62
Manifests27
Dependencies494
Measured technical evidence

A fuller view of what the scanner found.

These values come from the same immutable repository scan as the headline RepoWorth. They stay tied to the scanned commit so the reading can be inspected against one exact source state.

Maintainability signal66/100

Established based on deterministic repository structure and complexity signals.

Production source1.4M tokens

First-party implementation tokens eligible for the modeled code-scale input.

Test evidence312.7K tokens

62 detected test files contribute separately from production code.

Configuration and infrastructure5.1K tokens

27 manifests and 0 workspace boundaries were detected.

Documentation247K tokens

65 documentation files remain visible as a distinct enablement signal.

Integration surface219 signals

494 dependency declarations and 12 public-interface signals were measured.

Repository structure5 levels deep

0 large files and 16,068 branch signals add structural context.

Excluded from authored evidence0 files

10 generated files were identified. Ignored and generated material does not inflate RepoWorth.

Measured repository distinctions

Repository evidence highlights.

Each highlight records a measured characteristic of the same repository scan used for this RepoWorth report.

enablement

Documented foundation

At least 100,000 documentation tokens were measured in public documentation paths.

Technical effort profile

What makes this repository harder to rebuild.

Code scale, branching, dependencies, languages, structure, and visible test evidence shape the implementation and verification effort represented by this repository.

Code scaleHigh

Measured from the current source archive.

ComplexityHigh

Derived from branch density, dependencies, languages, and code scale.

VerificationHigh

Measures visible test code relative to the source corpus.

Development effort composition

Source volume alone does not explain the work.

This view separates authored evidence from the implementation, integration, verification, and engineering oversight represented by the current repository.

Reading boundary: These are modeled development inputs for the visible code. They do not include product discovery, company value, private systems, or commercial outcomes.

Weighted authored evidence1.4MProduction, tests, configuration, and documentation
Estimated implementation output1.4MImplementation, retries, integration, and verification
Engineering oversight111.4 hoursOrientation, integration, tests, and review
Active build time13.9 daysModeled effort represented by the current source state
Evidence boundary

What this valuation includes.

CodeValuation.com counted supported authored source on commit 9732b4b3c8e0fc77c85473b3cce80f33bd3d53f0, measured deterministic repository signals, then estimated implementation, rework, testing, integration, and engineering oversight.

Included

Supported first-party source, tests, configuration, manifests, repository structure, dependency signals, and framework boundaries.

Excluded

Common generated and vendored files, build output, dependencies, lockfiles, minified assets, binaries, media, and private systems outside this repository.

Not claimed

Ideation, intellectual-property rights, security posture, production reliability, company value, sale price, revenue, user value, proprietary data, or the cost of discovering the original product.

This is a modeled current development valuation for the repository's visible code at a specific commit. It reflects code volume, implementation output, complexity, and engineering oversight. It is not a business valuation, investment appraisal, security review, or estimate of sale price, ideation, intellectual property, revenue, users, brand, proprietary data, undocumented domain knowledge, or private infrastructure.

Check another repository

Run RepoWorth on your own codebase.

Enter a public GitHub URL to create a current repository reading.

No sign-up for public repositories. Private repositories require a free trial. Evaluated in real time directly from GitHub. Code is never stored. Derived measurements and valuation history are saved.