License¶
VeriLib platform repositories use open-source licenses per repository. There is no single monorepo license yet for the entire project.
Platform repositories¶
| Repository | License |
|---|---|
| verilib-cli | MIT |
| verilib-frontend | MIT |
| verilib-atomizer | None declared |
| local_validate | None declared |
Probe ecosystem¶
| Repository | License |
|---|---|
| probe-verus | MIT |
| eth_certify | MIT (SPDX-License-Identifier in Certify.sol) |
| probe | None declared |
Check each repository's LICENSE file for the authoritative text.
Repositories without a declared license
verilib-atomizer, local_validate, and probe currently ship no LICENSE
file. Under default copyright, "no license" means all rights reserved —
third parties have no grant to use, modify, or redistribute the code even
though some of these repos are (or are intended to become) public.
This matters most for probe:
it is the public interchange contract for the whole probe family
(schemas/atom-envelope.schema.json plus the Schema 3.0 spec), so external
tools are expected to depend on it. See Probe ecosystem.
Documentation¶
This documentation site content is intended for open distribution alongside the VeriLib project. License terms for the docs repo are not yet set in VeriLib-Docs.