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

spolu/jscore

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

14 raw signals (0 security + 14 graph)

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

Complete repo analysis

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

JSON
Combined
81.0
/100
Security checks
81
0 findings
System graph
81
55.6% cov · 14 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 6 Low 4 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 14 Crowd 0 Layer: Frontend 2 Security 2 Cicd 1 Quality 9

All 148 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
lookupProject software healthy examples/scopedUpdate.ts:lookupProject
scopedUpdate software healthy examples/scopedUpdate.ts:scopedUpdate
reorderTasks software healthy examples/reorderTasks.ts:reorderTasks
signAndLog software healthy examples/signAndLog.ts:signAndLog
leakyLog software healthy examples/signAndLog.ts:leakyLog
taintSafeLiteral software healthy examples/taintSafeLiteral.ts:taintSafeLiteral
generateKey software healthy examples/rotateApiKey.ts:generateKey
rotateApiKey software healthy examples/rotateApiKey.ts:rotateApiKey
exportWorkspaceData software healthy examples/exportWorkspaceData.ts:exportWorkspaceData
parseBlocks software healthy extractor/src/proof-merge.ts:parseBlocks
flush software healthy extractor/src/proof-merge.ts:flush
mergeProofs software healthy extractor/src/proof-merge.ts:mergeProofs
body software healthy extractor/src/type-translator.ts:body
translateType software healthy extractor/src/type-translator.ts:translateType
collectAccessedFields software healthy extractor/src/type-translator.ts:collectAccessedFields
walkForFieldAccess software healthy extractor/src/type-translator.ts:walkForFieldAccess
parseAnnotations software healthy extractor/src/annotation-parser.ts:parseAnnotations
collectContinuation software healthy extractor/src/annotation-parser.ts:collectContinuation
declaration software healthy extractor/src/annotation-parser.ts:declaration
extractFunctionAnnotations software healthy extractor/src/annotation-parser.ts:extractFunctionAnnotatio…
extractEnsuresAnnotations software healthy extractor/src/annotation-parser.ts:extractEnsuresAnnotations
usage software healthy extractor/src/index.ts:usage
Options software healthy extractor/src/index.ts:Options
runExtract software healthy extractor/src/index.ts:runExtract
runVerify software healthy extractor/src/index.ts:runVerify
runCoverage software healthy extractor/src/index.ts:runCoverage
generateTheorem software healthy extractor/src/lean-theorem.ts:generateTheorem
patternSegs software healthy extractor/src/lean-theorem.ts:patternSegs
translateInvariantToLean software healthy extractor/src/lean-theorem.ts:translateInvariantToLean
translateEnsuresPred software healthy extractor/src/lean-theorem.ts:translateEnsuresPred
translateCallPred software healthy extractor/src/lean-theorem.ts:translateCallPred
segList software healthy extractor/src/lean-theorem.ts:segList
translateAccessAsOption software healthy extractor/src/lean-theorem.ts:translateAccessAsOption
buildRuntimeConclusion software healthy extractor/src/lean-theorem.ts:buildRuntimeConclusion
buildCanonicalRuntimeTheorem software healthy extractor/src/lean-theorem.ts:buildCanonicalRuntimeTheorem
buildCanonicalEnvExpr software healthy extractor/src/lean-theorem.ts:buildCanonicalEnvExpr
makeRequireHypothesisLine software healthy extractor/src/lean-theorem.ts:makeRequireHypothesisLine
translateRequireToLean software healthy extractor/src/lean-theorem.ts:translateRequireToLean
normalizeIneqOp software healthy extractor/src/lean-theorem.ts:normalizeIneqOp
parseTermAsOption software healthy extractor/src/lean-theorem.ts:parseTermAsOption
parseTermAsVal software healthy extractor/src/lean-theorem.ts:parseTermAsVal
parseStringLiteral software healthy extractor/src/lean-theorem.ts:parseStringLiteral
splitListItems software healthy extractor/src/lean-theorem.ts:splitListItems
escapeLeanString software healthy extractor/src/lean-theorem.ts:escapeLeanString
sanitizeTag software healthy extractor/src/lean-theorem.ts:sanitizeTag
freshName software healthy extractor/src/ast-to-jscore.ts:freshName
body software healthy extractor/src/ast-to-jscore.ts:body
extractFunction software healthy extractor/src/ast-to-jscore.ts:extractFunction
getFunctionBody software healthy extractor/src/ast-to-jscore.ts:getFunctionBody
extractBlock software healthy extractor/src/ast-to-jscore.ts:extractBlock

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

LabelLayerStatusPath
README.md software healthy README.md
RESEARCH.md software healthy RESEARCH.md
SEMANTICS.md software healthy SEMANTICS.md
PROPOSAL.md software healthy PROPOSAL.md
AGENTS.md software healthy AGENTS.md
ci.sh software healthy scripts/ci.sh
lake-manifest.json software healthy jscore/lake-manifest.json
scopedUpdate.ts software healthy examples/scopedUpdate.ts
reorderTasks.ts software healthy examples/reorderTasks.ts
lake-manifest.json software healthy examples/lake-manifest.json
signAndLog.ts software healthy examples/signAndLog.ts
taintSafeLiteral.ts software healthy examples/taintSafeLiteral.ts
rotateApiKey.ts software healthy examples/rotateApiKey.ts
exportWorkspaceData.ts software healthy examples/exportWorkspaceData.ts
package.json software healthy extractor/package.json
package-lock.json software healthy extractor/package-lock.json
tsconfig.json software healthy extractor/tsconfig.json
proof-merge.ts software healthy extractor/src/proof-merge.ts
type-translator.ts software healthy extractor/src/type-translator.ts
annotation-parser.ts software healthy extractor/src/annotation-parser.ts
index.ts software healthy extractor/src/index.ts
lean-theorem.ts software healthy extractor/src/lean-theorem.ts
ast-to-jscore.ts software healthy extractor/src/ast-to-jscore.ts
reassignment.ts software healthy extractor/src/reassignment.ts
annotation-typecheck.ts software healthy extractor/src/annotation-typecheck.ts
lean-emitter.ts software healthy extractor/src/lean-emitter.ts
extract.ts software healthy extractor/src/extract.ts
AGENTS.md quality healthy AGENTS.md

LabelLayerStatusPath
scripts software healthy scripts
jscore software healthy jscore
examples software healthy examples
extractor software healthy extractor
src software healthy extractor/src

LabelLayerStatusPath
AnnotationTranslationError software healthy extractor/src/lean-theorem.ts:AnnotationTranslationError
for software healthy extractor/src/annotation-typecheck.ts:for

LabelLayerStatusPath
repobility-clone-c7lgr24z software healthy /tmp/repobility-clone-c7lgr24z
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/f50b04de-b88e-4092-b1de-770da8fa53b3/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/f50b04de-b88e-4092-b1de-770da8fa53b3/

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.