formal-methods skills

1 reviewed formal-methods skill for Claude Code, Cursor, and Codex, 800 installs combined. Every one carries a plain-language summary and a security audit derived from its source files.

atomic-decomposition

800

Researchers and developers working on complex systems who need to ground theoretical concepts in verifiable code

The atomic-decomposition skill breaks research ideas into atomic concepts by mapping mathematical formulas to code implementations. It requires users to provide a research idea or paper description as input.

lowresearchmathematicslingzhi227