discover-formal
A gateway skill that auto-activates for formal methods tasks and provides access to 10 specialized formal verification skills. It uses a progressive loading system where users first see the gateway, then can browse a category index, and finally load specific skills as needed.
Packaged view
This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.
Install command
npx @skill-hub/cli install rand-cc-polymath-discover-formal
Repository
Skill path: skills/discover-formal
A gateway skill that auto-activates for formal methods tasks and provides access to 10 specialized formal verification skills. It uses a progressive loading system where users first see the gateway, then can browse a category index, and finally load specific skills as needed.
Open repositoryBest for
Primary workflow: Research & Ops.
Technical facets: Full Stack, Testing.
Target audience: Meta teams looking for install-ready agent workflows..
License: Unknown.
Original source
Catalog source: SkillHub Club.
Repository owner: rand.
This is still a mirrored public skill entry. Review the repository before installing into production workflows.
What it helps with
- Install discover-formal into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
- Review https://github.com/rand/cc-polymath before adding discover-formal to shared team environments
- Use discover-formal for meta workflows
Works across
Favorites: 0.
Sub-skills: 0.
Aggregator: No.