SkillsAdd

smithery/neversight

mathematical-constraint-formalization

Formalize constraints using mathematical notation.

Installation

$ npx skills add smithery/neversight --skill mathematical-constraint-formalization
View on skills.sh ↗ Website ↗

Also in this package

Other skills from smithery/neversight · top by installs.

npx skills add smithery/neversight
zoom-meeting 0 ziwei-doushu 0 zimage-skill 0 zig 0 zhimeng-agent 0 zfc 0 zenbin 0 zeberg-salomon-rotator 0 zdev 0 youtube-transcript 0

Browse all from smithery/neversight

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

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 410 B
  • docs SUMMARY.md 95 B

History

  1. First recorded snapshot · 0 installs

SKILL.md

Instructions

  1. Initialize mathematical-constraint-formalization operational context
  2. Execute primary protocol actions
  3. Validate results and generate output

Examples

  • "Execute mathematical-constraint-formalization protocol"
  • "Run mathematical constraint formalization analysis"