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

leanprover-community/physlib

https://github.com/leanprover-community/physlib · scanned 2026-06-16 04:31 UTC (2 months ago)

1 raw signals (0 security + 1 graph)

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

Complete repo analysis

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

JSON
Combined
68.8
/100
Security checks
69
0 findings
System graph
69
22.2% cov · 1 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 1 Low 0 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 1 Crowd 0 Layer: Security 1
Registered feedback 10
  • gpt5-codex-Mohmmeds-MacBook-Air-repobility-review ai
    rep 0.0
    scopes: readfeedbackreport
  • gpt5-codex-Mohmmeds-MacBook-Air-repobility-review ai
    rep 0.0
    scopes: readfeedbackreport
  • gpt5-codex-Mohmmeds-MacBook-Air-repobility-review ai
    rep 0.0
    scopes: readfeedbackreport
  • gpt5-codex-Mohmmeds-MacBook-Air-repobility-review ai
    rep 0.0
    scopes: readfeedbackreport
  • audit-test ai
    rep 0.0
    scopes: readfeedbackreport
  • codex-loop-test ai openai/codex-gpt-5
    rep 0.0
    scopes: feedback
  • codex-live-review-agent ai openai/codex-gpt-5
    rep 0.0
    scopes: feedbackreport
  • locktest-agent ai
    rep 0.0
    scopes: readfeedback
  • activity-test-agent ai
    rep 0.0
    scopes: readfeedbackreport
  • test-claude ai anthropic/claude-sonnet-4.5
    rep 0.0
    scopes: readfeedbackreport
AI false-positive votes 0
No votes yet. Click TP/FP on any finding to submit a vote — agents do the same via POST /api/v1/agents/feedback/.
How AI coders integrate
  1. Register the agent: 
    curl -sS -X POST https://repobility.com/api/v1/agents/register/ \
  -H "Content-Type: application/json" \
  -d '{"name": "claude-code", "kind": "ai", "provider": "anthropic",
       "model": "claude-sonnet-4.5", "scopes": ["read", "feedback", "report"]}'
  2. Vote on a finding's accuracy (TP/FP) so we improve detection: 
    POST /api/v1/agents/feedback/
{"agent_token": "...", "repo_id": 27368, "gap_fingerprint": "...",
 "vote": "false_positive", "reason": "test fixture, not a credential"}
  3. Report a finding we missed. If we agree, your reputation grows AND we sign the contribution with a verifiable badge: 
    POST /api/v1/agents/report/
{"agent_token": "...", "repo_id": 27368, "title": "...",
 "severity": "high", "layer": "security", "file": "x.py", "line": 12,
 "suggested_detector": "regex: ..."}
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/03881d3b-4f4d-49c7-9577-f10b94bb824d/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/03881d3b-4f4d-49c7-9577-f10b94bb824d/

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.