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

soma-dev-lang/soma

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

87 raw signals (0 security + 87 graph)

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

Complete repo analysis

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

JSON
Combined
77.6
/100
Security checks
78
0 findings
System graph
78
100.0% cov · 43 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 2 Medium 9 Low 29 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 43 Crowd 0 Layer: Software 3 Frontend 2 Security 5 Cicd 1 Quality 19 Api 13

All 1292 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
get_db software healthy comparisons/flask_app.py:10
init_db software healthy comparisons/flask_app.py:15
create software healthy comparisons/flask_app.py:29
create_get software healthy comparisons/flask_app.py:40
get_contact software healthy comparisons/flask_app.py:56
list_contacts software healthy comparisons/flask_app.py:65
search software healthy comparisons/flask_app.py:72
delete software healthy comparisons/flask_app.py:79
index software healthy comparisons/flask_app.py:89
table_name software healthy providers/aws/server.py:42
ensure_table software healthy providers/aws/server.py:45
get_table software healthy providers/aws/server.py:65
do_POST software dead providers/aws/server.py:72
respond software healthy providers/aws/server.py:156
log_message software dead providers/aws/server.py:162
strip_comments software healthy bench/check_cse_corpus.py:26
find_handlers software healthy bench/check_cse_corpus.py:29
find_siblings software healthy bench/check_cse_corpus.py:48
split_top_statements software healthy bench/check_cse_corpus.py:51
find_calls_in_expr software healthy bench/check_cse_corpus.py:72
find_referenced_vars software healthy bench/check_cse_corpus.py:94
find_reassigned_vars software healthy bench/check_cse_corpus.py:98
is_cse_eligible software healthy bench/check_cse_corpus.py:108
check_run_for_cse software healthy bench/check_cse_corpus.py:126
find_expected software healthy bench/check_cse_corpus.py:154
check software healthy bench/check_cse_corpus.py:158
strip_comments software healthy bench/check_iter_corpus.py:16
find_handlers software healthy bench/check_iter_corpus.py:19
split_top_statements software healthy bench/check_iter_corpus.py:42
count_self_calls software healthy bench/check_iter_corpus.py:68
is_inside_loop software healthy bench/check_iter_corpus.py:71
last_statement_is_self_tail software healthy bench/check_iter_corpus.py:88
is_iter_eligible software healthy bench/check_iter_corpus.py:109
find_expected software healthy bench/check_iter_corpus.py:126
check software healthy bench/check_iter_corpus.py:130
strip_comments software healthy bench/check_tab_corpus.py:21
find_handlers software healthy bench/check_tab_corpus.py:24
split_top_statements software healthy bench/check_tab_corpus.py:44
parse_arg_form software healthy bench/check_tab_corpus.py:64
is_tab_simple_body software healthy bench/check_tab_corpus.py:78
split_args software healthy bench/check_tab_corpus.py:135
is_tab_eligible software healthy bench/check_tab_corpus.py:147
find_expected software healthy bench/check_tab_corpus.py:183
check software healthy bench/check_tab_corpus.py:187
find_expected software healthy bench/check_memo_corpus.py:18
find_handlers software healthy bench/check_memo_corpus.py:22
split_args software healthy bench/check_memo_corpus.py:44
is_simple_arg software healthy bench/check_memo_corpus.py:56
self_calls software healthy bench/check_memo_corpus.py:80
memo_eligible software healthy bench/check_memo_corpus.py:96

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

LabelLayerStatusPath
PAPER.md software healthy PAPER.md
NATIVE_BIGINT_PLAN.md software healthy NATIVE_BIGINT_PLAN.md
SUM_TYPES_DESIGN.md software healthy SUM_TYPES_DESIGN.md
SOMA_SPEC.md software healthy SOMA_SPEC.md
AGENT.md software healthy AGENT.md
MEMORY_DESIGN.md software healthy MEMORY_DESIGN.md
TARGET_SOMA_V1.md software healthy TARGET_SOMA_V1.md
README.md software healthy README.md
AGENT_GOTCHAS.md software healthy AGENT_GOTCHAS.md
CONTRIBUTING.md software healthy CONTRIBUTING.md
SOMA_REFERENCE.md software healthy SOMA_REFERENCE.md
SOMA_PROVIDER_SIDECAR_SPEC.md software healthy SOMA_PROVIDER_SIDECAR_SPEC.md
SKILL.md software healthy SKILL.md
VISION.md software healthy VISION.md
SOMA_PROVIDER_SPEC.md software healthy SOMA_PROVIDER_SPEC.md
SOMA_BUILTINS.md software healthy SOMA_BUILTINS.md
Cargo.toml software healthy compiler/Cargo.toml
Cargo.lock software healthy compiler/Cargo.lock
track_c.rs software healthy compiler/tests/track_c.rs
check_static.rs software healthy compiler/tests/check_static.rs
invariants_check.rs software healthy compiler/tests/invariants_check.rs
rigor_eventually_long_chain.rs software healthy compiler/tests/rigor_eventually_long_chain.rs
rigor_budget.rs software healthy compiler/tests/rigor_budget.rs
agent_integration.rs software healthy compiler/tests/agent_integration.rs
equivalence.rs software healthy compiler/tests/equivalence.rs
integration.rs software healthy compiler/tests/integration.rs
builtin_registry.rs software healthy compiler/tests/builtin_registry.rs
rigor_isolation.rs software healthy compiler/tests/rigor_isolation.rs
indexing.rs software healthy compiler/tests/indexing.rs
main.rs software healthy compiler/src/main.rs
mod.rs software healthy compiler/src/ast/mod.rs
types.rs software healthy compiler/src/provider/types.rs
mod.rs software healthy compiler/src/provider/mod.rs
http_backend.rs software healthy compiler/src/provider/http_backend.rs
manifest.rs software healthy compiler/src/provider/manifest.rs
resolver.rs software healthy compiler/src/provider/resolver.rs
test_cmd.rs software healthy compiler/src/commands/test_cmd.rs
serve.rs software healthy compiler/src/commands/serve.rs
props.rs software healthy compiler/src/commands/props.rs
mod.rs software healthy compiler/src/commands/mod.rs
check.rs software healthy compiler/src/commands/check.rs
build.rs software healthy compiler/src/commands/build.rs
describe.rs software healthy compiler/src/commands/describe.rs
repl.rs software healthy compiler/src/commands/repl.rs
init.rs software healthy compiler/src/commands/init.rs
run.rs software healthy compiler/src/commands/run.rs
dashboard.rs software healthy compiler/src/commands/dashboard.rs
lint.rs software healthy compiler/src/commands/lint.rs
fix.rs software healthy compiler/src/commands/fix.rs
provider.rs software healthy compiler/src/commands/provider.rs

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

LabelLayerStatusPath
compiler software healthy compiler
tests software healthy compiler/tests
src software healthy compiler/src
ast software healthy compiler/src/ast
provider software healthy compiler/src/provider
commands software healthy compiler/src/commands
codegen software healthy compiler/src/codegen
registry software healthy compiler/src/registry
lexer software healthy compiler/src/lexer
vm software healthy compiler/src/vm
interpreter software healthy compiler/src/interpreter
builtins software healthy compiler/src/interpreter/builtins
runtime software healthy compiler/src/runtime
checker software healthy compiler/src/checker
parser software healthy compiler/src/parser
pkg software healthy compiler/src/pkg
comparisons software healthy comparisons
therac software healthy therac
spec software healthy spec
tests software healthy tests
edge software healthy tests/edge
platform software healthy tests/platform
static software healthy tests/platform/static
elevator software healthy elevator
docs software healthy docs
launch software healthy docs/launch
rigor software healthy docs/rigor
results software healthy docs/rigor/results
coq software healthy docs/rigor/coq
wiki software healthy wiki
synthesis software healthy wiki/synthesis
verification software healthy wiki/verification
stdlib software healthy wiki/stdlib
concepts software healthy wiki/concepts
features software healthy wiki/features
providers software healthy providers
aws software healthy providers/aws
site software healthy site
examples software healthy site/examples
repo software healthy site/repo
packages software healthy packages
matrix software healthy packages/matrix
delivery software healthy delivery
bench software healthy bench
numba software healthy bench/numba
results software healthy bench/results
clbg_c_ref software healthy bench/clbg_c_ref
py software healthy bench/py
clbg_rust_ref software healthy bench/clbg_rust_ref
src software healthy bench/clbg_rust_ref/src

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

LabelLayerStatusPath
port:8080 network healthy compiler/src/commands/deploy.rs
port:18001 network healthy tests/platform/run_all_tests.sh
port:18002 network healthy tests/platform/run_all_tests.sh
port:18003 network healthy tests/platform/run_all_tests.sh
port:18004 network healthy tests/platform/run_all_tests.sh
port:18005 network healthy tests/platform/run_all_tests.sh
port:18006 network healthy tests/platform/run_all_tests.sh
port:18007 network healthy tests/platform/run_all_tests.sh
port:18008 network healthy tests/platform/run_all_tests.sh
port:18009 network healthy tests/platform/run_all_tests.sh
port:18010 network healthy tests/platform/run_all_tests.sh
port:18011 network healthy tests/platform/run_all_tests.sh
port:18012 network healthy tests/platform/run_all_tests.sh
port:18099 network healthy tests/platform/run_all_tests.sh
port:18014 network healthy tests/platform/run_all_tests.sh
port:18015 network healthy tests/platform/run_all_tests.sh
port:18016 network healthy tests/platform/run_all_tests.sh
port:18017 network healthy tests/platform/run_all_tests.sh
port:18018 network healthy tests/platform/run_all_tests.sh
port:18019 network healthy tests/platform/run_all_tests.sh
port:18020 network healthy tests/platform/run_all_tests.sh
port:18025 network healthy tests/platform/run_all_tests.sh
port:9100 network healthy providers/aws/server.py

LabelLayerStatusPath
ANY /create api healthy comparisons/flask_app.py
ANY /get/<int:id> api healthy comparisons/flask_app.py
ANY /list api healthy comparisons/flask_app.py
ANY /search/<q> api healthy comparisons/flask_app.py
ANY /delete/<int:id> api healthy comparisons/flask_app.py
ANY / api healthy comparisons/flask_app.py
POST /create api healthy comparisons/express.js
GET /create api healthy comparisons/express.js
GET /get/:id api healthy comparisons/express.js
GET /list api healthy comparisons/express.js
GET /search/:q api healthy comparisons/express.js
POST /delete/:id api healthy comparisons/express.js
GET / api healthy comparisons/express.js

LabelLayerStatusPath
sqlite data healthy SKILL.md
postgres data healthy examples/messenger/README.md
redis data healthy examples/messenger/README.md

LabelLayerStatusPath
Handler software healthy providers/aws/server.py:71
Handler software healthy tools/sidecar/server.py:24

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

LabelLayerStatusPath
contacts data healthy comparisons/flask_app.py

LabelLayerStatusPath
127.0.0.1 network healthy compiler/tests/agent_integration.rs

LabelLayerStatusPath
vps::aws hardware healthy SKILL.md
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/4f38f4df-85dc-44ed-b944-9c9f33e6436f/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/4f38f4df-85dc-44ed-b944-9c9f33e6436f/

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.