SkillsAdd

petekp/claude-code-setup

formal-verify

Continuous formal verification of architectural constraints and code quality. Use when asked to verify, audit, or validate codebase integrity. Runs…

First seen Apr 2, 2026

Installation

$ npx skills add https://github.com/petekp/claude-code-setup
View on skills.sh ↗ GitHub repository ↗

Also in this package

Other skills from petekp/claude-code-setup · top by installs.

npx skills add https://github.com/petekp/claude-code-setup
code-comments 505 deep-research 141 exhaustive-systems-analysis 132 typography 122 unix-macos-engineer 102 claude-code-audit 91 literate-guide 85 react-change-review 74 catch-up 69 manual-testing 65

Browse all from petekp/claude-code-setup

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 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 47
License LICENSE
Default branch main
Open issues 1
Status Active

Skill metadata

Parsed from SKILL.md frontmatter.

Declared agents claude-code

History

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