Star200+

Skill audit report

Mathlib Quality Audit report.

Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards.

EXPERIMENTAL · REVIEWNeeds reviewGenerated Aug 3, 2026Heuristic metadata audit
81
Audit
75
Trust
72
Quality
81
Security
100
Maintain
92
Install

OpenAgentSkill Trust Score

75
Strong shortlist

OpenAgentSkill Trust Score

The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.

GitHub adoption

WARN

48

27 GitHub stars

Stars/forks activity

WARN

43

27 stars, 3 forks; issue activity unavailable in current metadata

Recent maintenance

PASS

100

3d since push

License clarity

PASS

86

MIT

README/SKILL.md completeness

PASS

90

Metadata includes enough usage and workflow context

Dependency/runtime risk

INFO

64

command execution surface, network or browser surface

Install availability

PASS

92

npx skills add CBirkbeck/mathlib-quality

Install command safety

PASS

92

standard package or runtime install path

Permission surface

INFO

62

shell or command execution, network or browser access

Repository evidence

PASS

86

https://github.com/CBirkbeck/mathlib-quality

Review status

PASS

88

AI review data available

Agent Proven outcomes

INFO

54

No agent outcome data yet

Checks

Install and adoption review

7 Passed · 8 Needs review

Install path

92

PASS

npx skills add CBirkbeck/mathlib-quality

Repository

88

PASS

https://github.com/CBirkbeck/mathlib-quality

License

86

PASS

MIT

Maintenance

100

PASS

3d since push

AI review

88

PASS

Approved with no listed issues

README/SKILL.md completeness

90

PASS

Usable description available

Dependency risk

64

CHECK

command execution surface, network or browser surface

Install command safety

92

PASS

standard package or runtime install path

Permission surface

62

CHECK

shell or command execution, network or browser access

Stars/forks activity

43

FIX

27 stars, 3 forks; issue activity unavailable in current metadata

Adoption

42

CHECK

27 GitHub stars

Warnings

  • Low GitHub adoption signal
  • Quality score needs review
  • GitHub adoption: 27 GitHub stars
  • Stars/forks activity: 27 stars, 3 forks; issue activity unavailable in current metadata

Method

This report combines public metadata, AI review output, repository freshness, install readiness, OpenAgentSkill events, quality scoring, trust checks, and the agent safety gate. It is not a full source-code security review.

Compare nearby options

Related skills to audit next

Grill With Docs

A relentless interview that pressure-tests a plan against the codebase, sharpens domain language, and updates CONTEXT.md and ADRs when decisions become durable.

165K Stars · Audit report

Code Review

Review a branch or diff against repository standards and the originating spec in two independent analysis passes.

169K Stars · Audit report

To Spec

Turn the current conversation and codebase context into a structured implementation spec, then publish it to the configured project issue tracker.

165K Stars · Audit report