ies/music-topos/.agents/skills/external/SKILL.md
External skill interface for integration with external systems
npx skillsauth add plurigrid/asi externalInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Status: Placeholder Version: 1.0.0
This skill provides an interface for external system integration and is used to manage connections to external resources that are not part of the core music-topos system.
This is a framework skill for extension purposes. Specific external integrations should be built on top of this base skill.
🔄 In Development - Framework ready for integration implementations
development
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
tools
Meta-skill that generates domain-specific AI skills from tool documentation
development
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
development
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.