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

Beneficial-AI-Foundation/probe-aeneas

https://github.com/Beneficial-AI-Foundation/probe-aeneas · scanned 2026-06-17 01:20 UTC (1 month, 2 weeks ago)

22 raw signals (0 security + 22 graph)

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

Complete repo analysis

Last scanned 1 month, 2 weeks ago · v2 · last Δ -18.0 (diff) · 8 actionable findings from 1 signal source. 14 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
58.7
/100
Security checks
59
0 findings
System graph
59
44.4% cov · 8 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 0 Medium 5 Low 3 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 8 Crowd 0 Layer: Security 1 Cicd 3 Quality 4

All 61 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
CLAUDE.md software healthy CLAUDE.md
Cargo.toml software healthy Cargo.toml
CHANGELOG.md software healthy CHANGELOG.md
dist-workspace.toml software healthy dist-workspace.toml
README.md software healthy README.md
TESTING.md software healthy TESTING.md
Cargo.lock software healthy Cargo.lock
extract_check.rs software healthy tests/extract_check.rs
release.yml software healthy .github/workflows/release.yml
ci.yml software healthy .github/workflows/ci.yml
release-commit.mdc software healthy .cursor/rules/release-commit.mdc
rust_curve25519-dalek_4.1.3.json software healthy examples/rust_curve25519-dalek_4.1.3.json
lean_Curve25519Dalek_0.1.0.json software healthy examples/lean_Curve25519Dalek_0.1.0.json
functions.json software healthy examples/functions.json
aeneas_curve25519-dalek_4.1.3_summary.md software healthy examples/aeneas_curve25519-dalek_4.1.3_summary.md
curve25519-dalek-summary.md software healthy examples/curve25519-dalek-summary.md
aeneas_curve25519-dalek_4.1.3.json software healthy examples/aeneas_curve25519-dalek_4.1.3.json
mappings.json software healthy examples/mappings.json
aeneas_config.rs software healthy src/aeneas_config.rs
extract_runner.rs software healthy src/extract_runner.rs
setup.rs software healthy src/setup.rs
gen_functions.rs software healthy src/gen_functions.rs
enrich.rs software healthy src/enrich.rs
lib.rs software healthy src/lib.rs
extract.rs software healthy src/extract.rs
translate.rs software healthy src/translate.rs
main.rs software healthy src/main.rs
listfuns.rs software healthy src/listfuns.rs
types.rs software healthy src/types.rs
validation-merged-json.md software healthy docs/validation-merged-json.md
SCHEMA-FIXES.md software healthy docs/SCHEMA-FIXES.md
USAGE.md software healthy docs/USAGE.md
primary-spec-violations.md software healthy docs/primary-spec-violations.md
SCHEMA.md software healthy docs/SCHEMA.md
testing.md software healthy docs/testing.md
architecture.md software healthy docs/architecture.md
CLAUDE.md quality healthy CLAUDE.md
.cursor/rules/release-commit.mdc quality healthy .cursor/rules/release-commit.mdc

LabelLayerStatusPath
plan cicd healthy .github/workflows/release.yml
build-local-artifacts cicd healthy .github/workflows/release.yml
build-global-artifacts cicd healthy .github/workflows/release.yml
host cicd healthy .github/workflows/release.yml
announce cicd healthy .github/workflows/release.yml
fmt cicd healthy .github/workflows/ci.yml
clippy cicd healthy .github/workflows/ci.yml
test cicd healthy .github/workflows/ci.yml
auto-tag cicd healthy .github/workflows/ci.yml

LabelLayerStatusPath
tests software healthy tests
.github software healthy .github
workflows software healthy .github/workflows
.cursor software healthy .cursor
rules software healthy .cursor/rules
examples software healthy examples
src software healthy src
docs software healthy docs

LabelLayerStatusPath
RELEASE_PAT cicd healthy —
BUILD_MANIFEST_NAME cicd healthy —
GITHUB_TOKEN cicd healthy —

LabelLayerStatusPath
gha::release cicd healthy .github/workflows/release.yml
gha::ci cicd healthy .github/workflows/ci.yml

LabelLayerStatusPath
Beneficial-AI-Foundation__probe-aeneas software healthy /data/fable5_failed_archive/Beneficial-AI-Foundation__probe…
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/8f108c15-c4e3-4e38-b48e-5ab229ac2f53/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/8f108c15-c4e3-4e38-b48e-5ab229ac2f53/

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.