SkillsAdd

mizchi/skills

formal-methods-drift-guard

Use after a formal model or verifier check already exists and the user wants to maintain it over time. Helps Codex compare specs/docs, implementation…

First seen Jul 9, 2026

Installation

$ npx skills add https://github.com/mizchi/skills
View on skills.sh ↗ GitHub repository ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

unit-test-utility-methods Similar name
giuseppe-trisciuoglio/developer-kit

Provides patterns for testing utility classes, static methods, and helper functions. Validates …

2.8K installs
privilege-escalation-methods Similar name
sickn33/agentic-awesome-skills

Provide comprehensive techniques for escalating privileges from a low-privileged user to root/a…

338 installs
Privilege Escalation Methods Similar name
davila7/claude-code-templates

This skill should be used when the user asks to "escalate privileges", "get root access", "beco…

178 installs

Also in this package

Other skills from mizchi/skills · top by installs.

npx skills add https://github.com/mizchi/skills
empirical-prompt-tuning 246 pi-coding-agent 129 playwright-cli 108 playwright-test 90 retrospective-codify 86 review-image 72 tech-article-reproducibility 72 gh-fix-ci 70 skill-selector 69 node-sqlite-vec 69

Browse all from mizchi/skills

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 325
Default branch main
Open issues 1
Status Active

History

  1. First seen on skills.sh
  2. First recorded snapshot · 26 installs