🎯

bdd-mathematical-verification

🎯Skill

from plurigrid/asi

📦

Same repository

plurigrid/asi(176 items)

bdd-mathematical-verification

Installation

Vibe Index InstallInstalls to .claude/skills/ - auto-recognized by Claude Code

npx vibeindex add plurigrid/asi --skill bdd-mathematical-verification

skills.sh Install⚠ Installs to .agents/skills/ - may not be auto-recognized by Claude Code

npx skills add plurigrid/asi --skill bdd-mathematical-verification

Manual InstallCopy SKILL.md content and save to the path below

~/.claude/skills/bdd-mathematical-verification/SKILL.md

SKILL.md

12Installs

AddedFeb 4, 2026

View on GitHub Back to Skills

More from this repository10

🏪

plurigrid/asi🏪Marketplace

everything is topological chemputer!

🎯

academic-research🎯Skill

Skill

Skill

Skill

backend-development🎯Skill

Skill

🎯

active-inference-robotics🎯Skill

Skill

🎯

tailscale-file-transfer🎯Skill

Skill

🎯

acsets-relational-thinking🎯Skill

Skill

🎯

tizen-compliance-checker🎯Skill

Skill

🎯

ask-questions-if-underspecified🎯Skill

Skill