About
This skill provides formal verification in Lean 4 for high-level theorems in a unified music-mathematical system. Developers should use it to prove correctness for spectral gaps, distributed CRDTs, color harmony metrics, and preference learning guarantees. It includes 14+ production-ready modules and integrates with Mathlib4.
Quick Install
Claude Code
Recommendednpx skills add plurigrid/asi -a claude-code/plugin add https://github.com/plurigrid/asigit clone https://github.com/plurigrid/asi.git ~/.claude/skills/lean4-music-toposCopy and paste this command in Claude Code to install this skill
GitHub Repository
Frequently asked questions
What is the lean4-music-topos skill?
lean4-music-topos is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform lean4-music-topos-related tasks without extra prompting.
How do I install lean4-music-topos?
Use the install commands on this page: add lean4-music-topos to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.
What category does lean4-music-topos belong to?
lean4-music-topos is in the Design category, tagged general.
Is lean4-music-topos free to use?
Yes. lean4-music-topos is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.
Related Skills
Use the executing-plans skill when you have a complete implementation plan to execute in controlled batches with review checkpoints. It loads and critically reviews the plan, then executes tasks in small batches (default 3 tasks) while reporting progress between each batch for architect review. This ensures systematic implementation with built-in quality control checkpoints.
This skill dispatches a code-reviewer subagent to analyze code changes against requirements before proceeding. It should be used after completing tasks, implementing major features, or before merging to main. The review helps catch issues early by comparing the current implementation with the original plan.
This skill provides a comprehensive guide for developers to connect MCP servers to Claude Code using HTTP, stdio, or SSE transports. It covers installation, configuration, authentication, and security for integrating external services like GitHub, Notion, and custom APIs. Use it when setting up MCP integrations, configuring external tools, or working with Claude's Model Context Protocol.
This skill helps developers choose between Claude Code Web and CLI interfaces based on task analysis, then enables seamless session teleportation between these environments. It optimizes workflow by managing session state and context when switching between web, CLI, or mobile. Use it for complex projects requiring different tools at various stages.