Public scan — anyone with this URL can view this analysis. Sign up to track your own repos privately, run scheduled re-scans, and get AI fix prompts via your dashboard.
Sign up free Scan another repo

SmallAIOS/SmallAIOS

https://github.com/SmallAIOS/SmallAIOS · scanned 2026-06-16 00:16 UTC (2 months, 2 weeks ago)

75 raw signals (0 security + 75 graph)

File as issue Image
UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 2 months, 2 weeks ago · v1 · 45 actionable findings from 1 signal source. 30 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
72.8
/100
Security checks
73
0 findings
System graph
73
88.9% cov · 45 findings
Critical
0
click to filter
Agents
10
0 votes
Crowd
0
reported
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 1 Medium 15 Low 27 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 45 Crowd 0 Layer: Network 2 Hardware 2 Frontend 1 Cicd 5 Quality 35

All 2482 nodes from the latest scan, grouped by kind. Each node is a unit the engine identified (file, function, endpoint, table…). Most users won't need this view — it's primarily for debugging the engine's graph extraction or for AI agents that want to enumerate the project structure.

LabelLayerStatusPath
clippy.toml software healthy clippy.toml
rust-toolchain.toml software healthy rust-toolchain.toml
release.toml software healthy release.toml
deny.toml software healthy deny.toml
Cargo.toml software healthy Cargo.toml
README.md software healthy README.md
CLAUDE.md software healthy CLAUDE.md
cliff.toml software healthy cliff.toml
Dockerfile software healthy Dockerfile
.pre-commit-config.yaml software healthy .pre-commit-config.yaml
LICENSE software healthy LICENSE
Cargo.lock software healthy Cargo.lock
CHANGELOG.md software healthy CHANGELOG.md
docker-compose.yml software healthy docker-compose.yml
codecov.yml software healthy codecov.yml
x86_64-smallaios.json software healthy targets/x86_64-smallaios.json
aarch64-smallaios.json software healthy targets/aarch64-smallaios.json
Cargo.toml software healthy security/Cargo.toml
integration_tls_crypto.rs software healthy security/tests/integration_tls_crypto.rs
lib.rs software healthy security/src/lib.rs
hkdf.rs software healthy security/src/hkdf.rs
sha1.rs software healthy security/src/sha1.rs
labels.rs software healthy security/src/labels.rs
gate.rs software healthy security/src/gate.rs
totp_test_vectors.rs software healthy security/src/totp_test_vectors.rs
gate_noop.rs software healthy security/src/gate_noop.rs
sha2.rs software healthy security/src/sha2.rs
sha1_test_vectors.rs software healthy security/src/sha1_test_vectors.rs
hmac_sha1_test_vectors.rs software healthy security/src/hmac_sha1_test_vectors.rs
argon2id_test_vectors.rs software healthy security/src/argon2id_test_vectors.rs
policy.rs software healthy security/src/policy.rs
capability.rs software healthy security/src/capability.rs
argon2id.rs software healthy security/src/argon2id.rs
hkdf_test_vectors.rs software healthy security/src/hkdf_test_vectors.rs
message_types.rs software healthy security/src/message_types.rs
hmac_sha1.rs software healthy security/src/hmac_sha1.rs
totp.rs software healthy security/src/totp.rs
hmac_sha2.rs software healthy security/src/hmac_sha2.rs
test_util.rs software healthy security/src/test_util.rs
enforcement.rs software healthy security/src/enforcement.rs
failsafe.rs software healthy security/src/ot/failsafe.rs
wcet.rs software healthy security/src/ot/wcet.rs
mod.rs software healthy security/src/ot/mod.rs
wcet_bounds.rs software healthy security/src/ot/wcet_bounds.rs
shutdown.rs software healthy security/src/ot/shutdown.rs
anomaly.rs software healthy security/src/ot/anomaly.rs
watchdog_monitor.rs software healthy security/src/monitoring/watchdog_monitor.rs
threshold_reload.rs software healthy security/src/monitoring/threshold_reload.rs
alerts.rs software healthy security/src/monitoring/alerts.rs
mod.rs software healthy security/src/monitoring/mod.rs

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
targets software healthy targets
security software healthy security
tests software healthy security/tests
src software healthy security/src
ot software healthy security/src/ot
monitoring software healthy security/src/monitoring
crypto software healthy security/src/crypto
supply_chain software healthy security/src/supply_chain
boundary software healthy security/src/boundary
audit software healthy security/src/audit
compliance software healthy security/src/compliance
incident software healthy security/src/incident
ipc software healthy ipc
tests software healthy ipc/tests
src software healthy ipc/src
onnx-rt software healthy onnx-rt
tests software healthy onnx-rt/tests
src software healthy onnx-rt/src
model_loader software healthy onnx-rt/src/model_loader
ops software healthy onnx-rt/src/ops
cuda software healthy onnx-rt/src/cuda
kernels software healthy onnx-rt/src/cuda/kernels
auth software healthy auth
src software healthy auth/src
presence software healthy auth/src/presence
tls-client software healthy tls-client
src software healthy tls-client/src
handshake software healthy tls-client/src/handshake
cert software healthy tls-client/src/cert
sched-types software healthy sched-types
src software healthy sched-types/src
docs software healthy docs
security software healthy docs/security
architecture software healthy docs/architecture
benchmarks software healthy docs/benchmarks
_static software healthy docs/_static
css software healthy docs/_static/css
fuzz software healthy fuzz
fuzz_targets software healthy fuzz/fuzz_targets
scripts software healthy scripts
xtask software healthy xtask
src software healthy xtask/src
sdr software healthy sdr
tests software healthy sdr/tests
src software healthy sdr/src
audit-export software healthy audit-export
tests software healthy audit-export/tests
src software healthy audit-export/src
immudb software healthy audit-export/src/immudb
formal software healthy formal

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
analyze cicd healthy .github/workflows/codeql.yml
check-format cicd healthy .github/workflows/ci.yml
clippy cicd healthy .github/workflows/ci.yml
build-x86_64 cicd healthy .github/workflows/ci.yml
build-aarch64 cicd healthy .github/workflows/ci.yml
build-jetson cicd healthy .github/workflows/ci.yml
build-riscv64 cicd healthy .github/workflows/ci.yml
test cicd healthy .github/workflows/ci.yml
cuda-check cicd healthy .github/workflows/ci.yml
jetson-image-build cicd healthy .github/workflows/ci.yml
test-formal-gate cicd healthy .github/workflows/ci.yml
test-verified-boot cicd healthy .github/workflows/ci.yml
riscv-qemu-smoke cicd healthy .github/workflows/ci.yml
aarch64-qemu-smoke cicd healthy .github/workflows/ci.yml
build-jetson-orin-uefi cicd healthy .github/workflows/ci.yml
jetson-orin-ovmf-smoke cicd healthy .github/workflows/ci.yml
image-size cicd healthy .github/workflows/ci.yml
tla-verify cicd healthy .github/workflows/ci.yml
coverage cicd healthy .github/workflows/ci.yml
sonarcloud cicd healthy .github/workflows/ci.yml
docker-build-local cicd healthy .github/workflows/ci.yml
docker-build-arm64 cicd healthy .github/workflows/ci.yml
docker-build-gpu cicd healthy .github/workflows/ci.yml
semver-check cicd healthy .github/workflows/ci.yml
cargo-deny cicd healthy .github/workflows/ci.yml
cargo-geiger cicd healthy .github/workflows/ci.yml
spec-exec-disasm-audit cicd healthy .github/workflows/ci.yml
spec-exec-default-on-smoke cicd healthy .github/workflows/ci.yml
check-cycles cicd healthy .github/workflows/ci.yml
kani-verify cicd healthy .github/workflows/ci.yml
spin-verify cicd healthy .github/workflows/ci.yml
mutation-testing cicd healthy .github/workflows/ci.yml
miri cicd healthy .github/workflows/ci.yml
fuzz cicd healthy .github/workflows/ci.yml
bench cicd healthy .github/workflows/ci.yml
dependency-analysis cicd healthy .github/workflows/ci.yml
semver-api-check cicd healthy .github/workflows/ci.yml
cargo-vet-check cicd healthy .github/workflows/ci.yml
careful-test cicd healthy .github/workflows/ci.yml
coverage-threshold cicd healthy .github/workflows/ci.yml
change-gates cicd healthy .github/workflows/ci.yml
build cicd healthy .github/workflows/docs.yml
deploy cicd healthy .github/workflows/docs.yml
ubuntu-mount cicd healthy .github/workflows/fs-interop.yml
fedora-mount cicd healthy .github/workflows/fs-interop.yml
macos-fuse cicd healthy .github/workflows/fs-interop.yml
smallaios-image-build cicd healthy .github/workflows/fs-interop.yml
build-kernels cicd healthy .github/workflows/release.yml
test cicd healthy .github/workflows/release.yml
release cicd healthy .github/workflows/release.yml

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
3.4.1.2 network healthy security/src/argon2id.rs
192.0.2.1 network healthy tls-client/src/cert/hostname.rs
1.2.3.4 network healthy tls-client/src/cert/hostname.rs
01.2.3.4 network healthy tls-client/src/cert/hostname.rs
192.168.1.100 network healthy scripts/deploy-netboot.sh
192.168.99.50 network healthy scripts/deploy-netboot.sh
192.168.99.100 network healthy scripts/deploy-netboot.sh
5.2.6.2 network healthy arch/x86_64/src/virtio_blk.rs
127.0.0.1 network healthy container/tests/e2e_server.rs
8.1.2.3 network healthy container/src/audit_export_runtime/transport.rs
192.168.1.1 network healthy bus/src/arinc664/ethernet.rs
192.168.1.2 network healthy bus/src/arinc664/ethernet.rs
4.1.2.7 network healthy bus/src/ccsds/test_vectors.rs
239.255.0.1 network healthy bus/src/dds/discovery.rs
255.255.255.0 network healthy net/src/static_ip.rs
8.8.8.8 network healthy net/src/static_ip.rs
255.255.255.255 network healthy net/src/dhcp.rs
127.0.0.0 network healthy net/src/ipv4.rs
224.0.0.0 network healthy net/src/ipv4.rs
10.0.0.0 network healthy net/src/ipv4.rs
172.16.0.0 network healthy net/src/ipv4.rs
192.168.0.0 network healthy net/src/ipv4.rs
10.0.0.1 network healthy net/src/quic/migration.rs
10.0.0.2 network healthy net/src/quic/migration.rs
10.0.0.3 network healthy net/src/quic/migration.rs
7.2.4.1 network healthy net/src/quic/h3.rs
10.0.0.4 network healthy net/src/quic/endpoint.rs

LabelLayerStatusPath
port:8080 network healthy Dockerfile
port:0955 network healthy scripts/deploy-jetson-flash.sh
port:7023 network healthy scripts/deploy-jetson-flash.sh
port:2048 network healthy scripts/make-vmware-x86.sh
port:4095 network healthy scripts/make-vmware-x86.sh
port:18080 network healthy container/tests/e2e_server.rs
port:18081 network healthy container/tests/e2e_server.rs
port:18082 network healthy container/tests/e2e_server.rs
port:18083 network healthy container/tests/e2e_server.rs
port:18084 network healthy container/tests/e2e_server.rs
port:18090 network healthy container/tests/e2e_bus.rs
port:18091 network healthy container/tests/e2e_bus.rs
port:18092 network healthy container/tests/e2e_bus.rs
port:18093 network healthy container/tests/e2e_bus.rs
port:9090 network healthy container/src/config.rs
port:443 network healthy bench/benches/network.rs
port:80 network healthy posix/src/socket.rs
port:06 network healthy .github/workflows/ci.yml
port:512 network healthy fs/src/block/mod.rs

LabelLayerStatusPath
image::Dockerfile hardware healthy Dockerfile
smallaios hardware healthy docker-compose.yml
smallaios-gpu hardware healthy docker-compose.yml
smallaios-jetson hardware healthy docker-compose.yml
smallaios-jetson-slim hardware healthy docker-compose.yml

LabelLayerStatusPath
gha::codeql cicd healthy .github/workflows/codeql.yml
gha::ci cicd healthy .github/workflows/ci.yml
gha::docs cicd healthy .github/workflows/docs.yml
gha::fs-interop cicd healthy .github/workflows/fs-interop.yml
gha::release cicd healthy .github/workflows/release.yml

LabelLayerStatusPath
auth::.claude/skills/openspec-explore/SKILL.md security healthy .claude/skills/openspec-explore/SKILL.md
auth::.claude/skills/openspec-bulk-archive-change/SKILL.md security healthy .claude/skills/openspec-bulk-archive-change/SKILL.md
auth::mgmt/src/surface_zenoh/token.rs security healthy mgmt/src/surface_zenoh/token.rs
auth::mgmt/Cargo.toml security healthy mgmt/Cargo.toml

LabelLayerStatusPath
main software healthy scripts/dsm-matrix.py:23
_count_lines software healthy scripts/lcov-to-sonar.py:18
convert software healthy scripts/lcov-to-sonar.py:27

LabelLayerStatusPath
redis data healthy .claude/skills/openspec-explore/SKILL.md
sqlite data healthy .claude/skills/openspec-explore/SKILL.md
postgres data healthy .claude/skills/openspec-explore/SKILL.md

LabelLayerStatusPath
SONAR_TOKEN cicd healthy —
GITHUB_TOKEN cicd healthy —
CODECOV_TOKEN cicd healthy —

LabelLayerStatusPath
repobility-clone-4ut0_2q5 software healthy /tmp/repobility-clone-4ut0_2q5

LabelLayerStatusPath
k8s::Pod::bench/configs/k8s/benchmark-pod.yaml hardware healthy bench/configs/k8s/benchmark-pod.yaml

LabelLayerStatusPath
gpu (detected) hardware healthy Cargo.toml
For AI agents: Voting guide (TP/FP) MCP manifest Stdio wrapper SARIF Integrate Findings queue Vote TP/FP on findings to calibrate the engine.
For AI agents + API integrations
Email me when this repo regresses
Free. We re-scan periodically; new criticals → your inbox. No signup required for the scan itself.
API access

This page is publicly accessible at: https://repobility.com/scan/1d7c62f5-1c8b-4e1f-858e-be9bbd606ea3/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/1d7c62f5-1c8b-4e1f-858e-be9bbd606ea3/

Important — please don't re-submit the same URL repeatedly. The submission endpoint is idempotent: re-submitting the same git URL returns this same scan_token, not a new one. To re-scan this repo, sign up free and use the dashboard.