formal-lib
formal-lib is an Unclassified skill for AI agents, published by XS-MLVP in the UCAgent repository on GitHub. Skillspace rates formal-lib C (74/100) and it passed the safety scan; the rating is based on static analysis only.
Internal support skill for formal verification workspaces. This folder carries shared Python helpers and templates used by other formal skills and is not intended for direct user invocation.
- Grade
- C
- Quality
- 74 / 100
- Safety
- Passed
- GitHub stars
- 188
Unproven: rated by static analysis only, not yet compared head-to-head.
Not launch-quality. It is graded C with a clean safety verdict, but our quality filters exclude it: a model that read it found it written only for the repository it lives in. So it is not in our launch-quality set, the skills our MCP server searches and recommends. How launch-quality is decided
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.
Our review
- Architecture
- 100 / 100
- Maturity
- Structured: ships references or scripts
- Security scan
- No issues found
- License
- Apache-2.0
- Adoption
- Adopted by 0 other repositories, in 0 collections
- Scope
- Repo-internal: written for the repository it lives in. Self-described internal packaging helper for this repo's formal skills
Not checked yet
- Not judged on the rubric yet (not a contender in its category)
- No blind task eval yet
- Sibling files (scripts, references) not fetched; security scan covers SKILL.md only
Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.