🎯

bdd-mathematical-verification

🎯Skill

from plurigrid/asi

Installation

Vibe Index InstallInstalls to .claude/skills/

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

skills.sh Install⚠ Installs to .agents/skills/

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

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

path

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

📦

Same repository

plurigrid/asi(176 items)

bdd-mathematical-verification

SKILL.md

19Installs

AddedFeb 4, 2026

View on GitHub Back to Skills

More from this repository10

🎯

academic-research🎯Skill

An academic research skill within the ASI (Artificial Superintelligence) project, part of a massive 1,360-skill ecosystem spanning category theory, dynamical systems, scientific computing, security, and distributed systems with 17 interconnected hub skills.

🎯

wev-tesseract🎯Skill

A skill dispatch and hub connectivity framework with 17 hubs routing to 1,360 skills. Provides a full reachability map covering math, agent orchestration, and category-theoretic skill coordination.

🎯

tree-sitter🎯Skill

A large-scale skill infrastructure connecting 17 hub skills to 1,360 individual skills through a dispatch routing system, with hubs covering areas like category theory, interaction nets, game semantics, and agent orchestration.

🏪

plurigrid/asi🏪Marketplace

everything is topological chemputer!

🎯

reverse-engineering🎯Skill

Skill

🎯

beeper-mcp🎯Skill

Skill

🎯

active-inference-robotics🎯Skill

Skill