LICENSE
MANIFEST.in
README.md
SECURITY.md
SKILL-COPIES.md
pyproject.toml
requirements-dev.txt
veyra-proof.spec
.cursor/skills/veyra-proof/SKILL.md
.cursor/skills/veyra-proof/reference.md
.github/workflows/ci.yml
.github/workflows/publish.yml
Veyra/LICENSE
Veyra/README.md
Veyra/install.py
Veyra/examples/veyra.toml
Veyra/skills/veyra-proof/SKILL.md
Veyra/skills/veyra-proof/reference.md
scripts/check_account_skill.py
scripts/check_skills.py
scripts/ci_assert_evidence.py
scripts/pre_release.py
scripts/sync_skill.py
src/veyra_proof/__init__.py
src/veyra_proof/__main__.py
src/veyra_proof/cli.py
src/veyra_proof/command_runner.py
src/veyra_proof/config.py
src/veyra_proof/discovery.py
src/veyra_proof/hashing.py
src/veyra_proof/installer.py
src/veyra_proof/models.py
src/veyra_proof/platform_info.py
src/veyra_proof/reporting.py
src/veyra_proof/tool_registry.py
src/veyra_proof/workspace.py
src/veyra_proof.egg-info/PKG-INFO
src/veyra_proof.egg-info/SOURCES.txt
src/veyra_proof.egg-info/dependency_links.txt
src/veyra_proof.egg-info/entry_points.txt
src/veyra_proof.egg-info/requires.txt
src/veyra_proof.egg-info/top_level.txt
src/veyra_proof/templates/report.md.j2
src/veyra_proof/tools/__init__.py
src/veyra_proof/tools/anti_theater.py
src/veyra_proof/tools/audit.py
src/veyra_proof/tools/base.py
src/veyra_proof/tools/cargo_check.py
src/veyra_proof/tools/cargo_test.py
src/veyra_proof/tools/check_external_types.py
src/veyra_proof/tools/clippy.py
src/veyra_proof/tools/deny.py
src/veyra_proof/tools/dylint.py
src/veyra_proof/tools/e2e.py
src/veyra_proof/tools/fuzz.py
src/veyra_proof/tools/geiger.py
src/veyra_proof/tools/kani.py
src/veyra_proof/tools/llvm_cov.py
src/veyra_proof/tools/machete.py
src/veyra_proof/tools/miri.py
src/veyra_proof/tools/mutants.py
src/veyra_proof/tools/nextest.py
src/veyra_proof/tools/reproducible_build.py
src/veyra_proof/tools/rustfmt.py
src/veyra_proof/tools/sast_optional.py
src/veyra_proof/tools/semver_checks.py
src/veyra_proof/tools/vet.py
tests/test_anti_theater_noise.py
tests/test_check_account_skill.py
tests/test_check_skills.py
tests/test_ci_assert_evidence.py
tests/test_command_runner.py
tests/test_detect_classification.py
tests/test_docs_match_code.py
tests/test_dry_run_cli.py
tests/test_e2e_live.py
tests/test_e2e_tool.py
tests/test_geiger_semver_tools.py
tests/test_hashing_and_policy.py
tests/test_lockfile_policy.py
tests/test_platform_info.py
tests/test_pre_release.py
tests/test_reporting.py
tests/test_skill_copies_guide.py
tests/test_skill_document.py
tests/test_tool_registry.py
tests/test_verdicts.py
tests/test_workspace.py
tests/fixtures/cargo_metadata_sample.json
tests/fixtures/demo_crate/Cargo.lock
tests/fixtures/demo_crate/Cargo.toml
tests/fixtures/demo_crate/deny.toml
tests/fixtures/demo_crate/veyra.toml
tests/fixtures/demo_crate/src/lib.rs
tests/fixtures/demo_crate/src/main.rs