Score breakdown0 Version history1 Source
Category Weight Category score Contribution
Security prompt, exec, net, exfil, eval
35%
100
35.0 pts
Supply chain hash, typosquat, maintainer, lockfile
20%
100
20.0 pts
Maintenance staleness, pinning, CI
15%
100
15.0 pts
Transparency SKILL.md, perms, README
15%
100
15.0 pts
Community installs, verify, response
15%
100
15.0 pts
Findings & checks · 0 flagged
Security score 100 · 0 findings
✓ — All security checks passedNo findings in this category for the latest scan. pass
Supply chain score 100 · 0 findings
✓ — All supply chain checks passedNo findings in this category for the latest scan. pass
Maintenance score 100 · 0 findings
✓ — All maintenance checks passedNo findings in this category for the latest scan. pass
Transparency score 100 · 0 findings
✓ — All transparency checks passedNo findings in this category for the latest scan. pass
Community score 100 · 0 findings
✓ — All community checks passedNo findings in this category for the latest scan. pass
Every scanned point with the score it earned and what moved between them.
1 scans · 90 days 2959a76 latest
Jun 27, 2026 100 2959a76
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
bundled/skills/mathematical-logic-expert/SKILL.md · 1 file bundled/skills/mathematical-logic-expert/SKILL.md 1.2 KB · Markdown Rendered Raw ⧉ Copy
name : mathematical-logic-expert
description : Expert in formal logic, model theory, computability, and foundations of mathematics
license : Proprietary
Mathematical Logic Expert Status : ⚠️ Legacy template awaiting research upgrade Last validated : 2025-11-08 Confidence : 🔴 Low — Legacy template awaiting research upgradeHow to use this skill Start with modules/research-checklist.md and capture up-to-date sources. Review modules/known-gaps.md and resolve outstanding items. Load topic-specific modules from _toc.md only after verification. Update metadata when confidence improves. Module overview Research status Fresh web research pending (conversion captured on 2025-11-08). Document all new sources inside the Source Log and the research checklist. Do not rely on this skill until confidence is upgraded to medium or high.