Deterministic Formal Verification Debugging Skill

How to install this skill programmatically (for AI agents)

This is a skill on agentskill.sh. Name: Deterministic Formal Verification Debugging Skill. Slug: neuralblitz/deterministic-formal-verification-debugging.

To install this skill, fetch: GET https://agentskill.sh/api/agent/skills/neuralblitz%2Fdeterministic-formal-verification-debugging/install

The JSON response contains:

• "skillMd" is the SKILL.md content to write
• "skillFiles" is an array of additional files, each with "path" and "content"
• "installPath" is the suggested file path for SKILL.md

Write SKILL.md and skillFiles to the correct directory for your platform:

• Claude Code: ~/.claude/skills/neuralblitz/deterministic-formal-verification-debugging/SKILL.md
• Cursor: ~/.cursor/skills/neuralblitz/deterministic-formal-verification-debugging/SKILL.md
• Windsurf: ~/.windsurf/skills/neuralblitz/deterministic-formal-verification-debugging/SKILL.md
• Copilot: .github/copilot/skills/neuralblitz/deterministic-formal-verification-debugging/SKILL.md
• Codex: ~/.codex/skills/neuralblitz/deterministic-formal-verification-debugging/SKILL.md