formality-core-idioms

formality-core-idioms is a Coding standards & language idioms skill for AI agents, published by dada-lang in the dada-model repository on GitHub. Skillspace rates formality-core-idioms D (66/100) and it passed the safety scan; the rating is based on static analysis only.

Idiomatic patterns for writing code with formality-core (a-mir-formality). Covers generated constructors, Upcast/UpcastFrom coercions, judgment_fn! macro patterns,

Grade
D
Quality
66 / 100
Safety
Passed
GitHub stars
28

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

Our two independent classifiers differ on this skill's category, so treat the placement as provisional.

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

View source on GitHubdada-lang/dada-model

Our review

Architecture
96 / 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 Coding standards & language idioms

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