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

Topo-lang/topo-core

https://github.com/Topo-lang/topo-core · scanned 2026-06-16 00:40 UTC (2 months, 1 week ago)

8 raw signals (0 security + 8 graph)

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

Complete repo analysis

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

JSON
Combined
88.0
/100
Security checks
88
0 findings
System graph
88
66.7% cov · 5 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 2 Low 2 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 5 Crowd 0 Layer: Frontend 1 Security 1 Cicd 2 Quality 1

All 424 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
README.md software healthy README.md
AI-DECLARATION.md software healthy AI-DECLARATION.md
vcpkg.json software healthy vcpkg.json
CMakePresets.json software healthy CMakePresets.json
LICENSE software healthy LICENSE
spec-traceability.toml software healthy test/spec-traceability.toml
coverage.toml software healthy test/language/coverage.toml
test.toml software healthy test/language/spec/multi/cross_file_valid_import/test.toml
test.toml software healthy test/language/spec/multi/missing_symbol/test.toml
test.toml software healthy test/language/spec/multi/cross_file_internal/test.toml
basic_view_and_summary.topo-dbg.json software healthy test/language/spec/debug/golden/basic_view_and_summary.topo…
serve_real_target.sh software healthy test/debug-serve/serve_real_target.sh
serve_smoke.sh software healthy test/debug-serve/serve_smoke.sh
serve_ws_query.sh software healthy test/debug-serve/serve_ws_query.sh
serve_export_templates_smoke.sh software healthy test/debug-serve/serve_export_templates_smoke.sh
PipelineAnalysisTest.cpp software healthy test/unit/PipelineAnalysisTest.cpp
LexerTest.cpp software healthy test/unit/LexerTest.cpp
PruningOrchestratorTest.cpp software healthy test/unit/PruningOrchestratorTest.cpp
ModelOptimizerTest.cpp software healthy test/unit/ModelOptimizerTest.cpp
TranspileVerificationTest.cpp software healthy test/unit/TranspileVerificationTest.cpp
ImportPathCheckTest.cpp software healthy test/unit/ImportPathCheckTest.cpp
CompletenessCheckTest.cpp software healthy test/unit/CompletenessCheckTest.cpp
TypeRegistryTest.cpp software healthy test/unit/TypeRegistryTest.cpp
StageIsolationCheckTest.cpp software healthy test/unit/StageIsolationCheckTest.cpp
StageAnalysisTest.cpp software healthy test/unit/StageAnalysisTest.cpp
VisibilityPolicyTest.cpp software healthy test/unit/VisibilityPolicyTest.cpp
LSPBridgeTest.cpp software healthy test/unit/LSPBridgeTest.cpp
ParserTest.cpp software healthy test/unit/ParserTest.cpp
DebugEmitterTest.cpp software healthy test/unit/DebugEmitterTest.cpp
JfrNdjsonMergeTest.cpp software healthy test/unit/JfrNdjsonMergeTest.cpp
BuildCheckModeTest.cpp software healthy test/unit/BuildCheckModeTest.cpp
DistributionTest.cpp software healthy test/unit/DistributionTest.cpp
TranspileNewConstructsTest.cpp software healthy test/unit/TranspileNewConstructsTest.cpp
ContainmentCheckTest.cpp software healthy test/unit/ContainmentCheckTest.cpp
TranspileTest.cpp software healthy test/unit/TranspileTest.cpp
TemplateEngineTest.cpp software healthy test/unit/TemplateEngineTest.cpp
PassReportsLoaderTest.cpp software healthy test/unit/PassReportsLoaderTest.cpp
ParserSafetyTest.cpp software healthy test/unit/ParserSafetyTest.cpp
PurityCheckTest.cpp software healthy test/unit/PurityCheckTest.cpp
FrontendPerfTest.cpp software healthy test/unit/FrontendPerfTest.cpp
EvaluatorStructTest.cpp software healthy test/unit/EvaluatorStructTest.cpp
DebugIpcTest.cpp software healthy test/unit/DebugIpcTest.cpp
SpecSemanticStructureTest.cpp software healthy test/unit/SpecSemanticStructureTest.cpp
VisibilityCheckTest.cpp software healthy test/unit/VisibilityCheckTest.cpp
ProcessSpawnTest.cpp software healthy test/unit/ProcessSpawnTest.cpp
WebSocketOriginTest.cpp software healthy test/unit/WebSocketOriginTest.cpp
SanitizeTest.cpp software healthy test/unit/SanitizeTest.cpp
PipedProcessTest.cpp software healthy test/unit/PipedProcessTest.cpp
LifetimeAnalysisTest.cpp software healthy test/unit/LifetimeAnalysisTest.cpp
FormatterTest.cpp software healthy test/unit/FormatterTest.cpp

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

LabelLayerStatusPath
test software healthy test
language software healthy test/language
spec software healthy test/language/spec
multi software healthy test/language/spec/multi
cross_file_valid_import software healthy test/language/spec/multi/cross_file_valid_import
missing_symbol software healthy test/language/spec/multi/missing_symbol
cross_file_internal software healthy test/language/spec/multi/cross_file_internal
debug software healthy test/language/spec/debug
golden software healthy test/language/spec/debug/golden
debug-serve software healthy test/debug-serve
unit software healthy test/unit
fixtures software healthy test/fixtures
clangd_test software healthy test/fixtures/clangd_test
check_default software healthy test/fixtures/check_default
violating software healthy test/fixtures/check_default/violating
src software healthy test/fixtures/check_default/violating/src
main software healthy test/fixtures/check_default/violating/src/main
java software healthy test/fixtures/check_default/violating/src/main/java
app software healthy test/fixtures/check_default/violating/src/main/java/app
clean software healthy test/fixtures/check_default/clean
src software healthy test/fixtures/check_default/clean/src
main software healthy test/fixtures/check_default/clean/src/main
java software healthy test/fixtures/check_default/clean/src/main/java
app software healthy test/fixtures/check_default/clean/src/main/java/app
internal_test software healthy test/fixtures/internal_test
fuzz software healthy test/fuzz
corpus software healthy test/fuzz/corpus
symbol-table software healthy test/fuzz/corpus/symbol-table
backend-request software healthy test/fuzz/corpus/backend-request
dist-smoke software healthy test/dist-smoke
relocate software healthy test/relocate
helpers software healthy test/helpers
transpile software healthy test/transpile
equivalence software healthy test/transpile/equivalence
check software healthy test/check
fixtures software healthy test/check/fixtures
python software healthy test/check/fixtures/python
deep_degradation software healthy test/check/fixtures/python/deep_degradation
src software healthy test/check/fixtures/python/deep_degradation/src
cpp software healthy test/check/fixtures/cpp
completeness_pass software healthy test/check/fixtures/cpp/completeness_pass
src software healthy test/check/fixtures/cpp/completeness_pass/src
e2e software healthy test/check/e2e
topo-passes-sidecar software healthy test/topo-passes-sidecar
fixtures software healthy test/topo-passes-sidecar/fixtures
datalayout-jvm.topo-passes software healthy test/topo-passes-sidecar/fixtures/datalayout-jvm.topo-passes
containment-llvm.topo-passes software healthy test/topo-passes-sidecar/fixtures/containment-llvm.topo-pas…
v8.topo-passes software healthy test/topo-passes-sidecar/fixtures/v8.topo-passes
jvm.topo-passes software healthy test/topo-passes-sidecar/fixtures/jvm.topo-passes
returnspec-llvm.topo-passes software healthy test/topo-passes-sidecar/fixtures/returnspec-llvm.topo-pass…

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

LabelLayerStatusPath
TOPO_LANG_REF cicd healthy —
TOPO_LANG_CPP_REF cicd healthy —
TOPO_LANG_JAVA_REF cicd healthy —
TOPO_LANG_RUST_REF cicd healthy —
TOPO_LANG_PYTHON_REF cicd healthy —

LabelLayerStatusPath
build-and-test cicd healthy .github/workflows/ci.yml
verify-with-lang cicd healthy .github/workflows/ci.yml

LabelLayerStatusPath
repobility-clone-gfba6ae8 software healthy /tmp/repobility-clone-gfba6ae8

LabelLayerStatusPath
process_order software healthy test/check/fixtures/python/deep_degradation/src/main.py:1

LabelLayerStatusPath
127.0.0.1 network healthy test/debug-serve/serve_real_target.sh

LabelLayerStatusPath
gha::ci cicd healthy .github/workflows/ci.yml
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/a5e49128-8188-40f0-b91c-6f8030dfc80f/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/a5e49128-8188-40f0-b91c-6f8030dfc80f/

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.