lemmafit-spec

lemmafit-spec is an Engineering planning & specs skill for AI agents, published by midspiral in the lemmafit repository on GitHub. Skillspace rates lemmafit-spec D (68/100) and it passed the safety scan; the rating is based on static analysis only.

Lemmafit development workflow for managing SPEC.yaml and Dafny specifications. Use when the user describes a new feature, asks to add or update features or specs, or when spec changes need to be addressed. Handles SPEC.yaml entries, Dafny code sync, and spec queue processing. Follow these instructions whenever your workflow touches the spec.yaml file

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 Engineering planning & specs

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