lemmafit-pre-react-audits

lemmafit-pre-react-audits is a Codebase audits & code health skill for AI agents, published by midspiral in the lemmafit repository on GitHub. Skillspace rates lemmafit-pre-react-audits D (68/100) and it passed the safety scan; the rating is based on static analysis only.

Audit workflow for lemmafit apps before React. Run before writing React code to catch proof gaps and unverified logic. Performs two audits — Proof Strength (are proofs complete and tight?) and Logic-in-JS (is any logic missing from Dafny?). Labels findings by severity and iterates until only minor findings remain.

Grade
D
Quality
68 / 100
Safety
Passed
GitHub stars
56

Unproven: rated by static analysis only, not yet compared head-to-head.

This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.

View source on GitHubmidspiral/lemmafit

Our review

Architecture
100 / 100
Maturity
Basic: a single SKILL.md
Security scan
No issues found
License
MIT
Adoption
Adopted by 0 other repositories, in 0 collections

Not checked yet

  • Not judged on the rubric yet (not a contender in its category)
  • No blind task eval yet
  • Scope (portable / vendor / repo-internal) not assessed; only the top of each category is read for scope
  • Sibling files (scripts, references) not fetched; security scan covers SKILL.md only

Better-rated skills in Codebase audits & code health

Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.