SkillsAdd

microck/ordinary-claude-skills

design-by-contract

Automated contract verification, detection, and remediation across multiple languages using formal preconditions, postconditions, and invariants. This skill…

First seen Jan 24, 2026

Installation

$ npx skills add https://github.com/microck/ordinary-claude-skills
View on skills.sh ↗ GitHub repository ↗
Feature your product here Skill page unit · reach builders installing agent skills View pricing →

Similar popular skills

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

agent-browser Shared topics
vercel-labs/agent-browser

Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…

11.9K installs
azure-validate Shared topics
microsoft/azure-skills

Pre-deployment validation for Azure readiness. Run deep checks on configuration, infrastructure…

1.5K installs
supabase-postgres-best-practices Shared topics
supabase/agent-skills

Postgres best practices maintained by Supabase, for Postgres running anywhere. Load this skill …

1.4K installs
webapp-testing Shared topics
anthropics/skills

Toolkit for interacting with and testing local web applications using Playwright. Supports veri…

904 installs
review-contract Similar name
anthropics/knowledge-work-plugins

Review a contract against your organization's negotiation playbook — flag deviations, generate …

11 installs
contract-review Similar name
anthropics/knowledge-work-plugins

Lightweight NDA, MSA, and vendor contract review for SMBs without legal on staff. Reads contrac…

2.5K installs

Also in this package

Other skills from microck/ordinary-claude-skills · top by installs.

npx skills add https://github.com/microck/ordinary-claude-skills
alex-hormozi-pitch 279 crypto-research 187 novelweave-workflow 105 dnd5e-srd 81 moon-dev-trading-agents 66 markitdown 53 claude-scientific-skills 44 analyzing-financial-statements 40 domain-name-brainstormer 39 tauri 31

Browse all from microck/ordinary-claude-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 394
License LICENSE
Default branch main
Open issues 0
Status Active

History

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