Mps Aspect Typesystem
JetBrains/MPS/.agents/skills/mps-aspect-typesystem
ai-mlOfficial
Official Provider SkillView repo
Use when authoring or debugging MPS typesystem — inference rules (`typeof :==: / :<=: / :>=:`), `SubtypingRule`, `ComparisonRule`, `InequationReplacementRule`, `SubstituteTypeRule`, `WhenConcreteStatement` blocks, `NonTypesystemRule` checking rules, `TypesystemQuickFix`, error/warning/info reports with `messageTarget` highlighting and quick-fix wiring (`helginsIntention`), and shared BaseLanguage helpers in the typesystem model. Reach for this skill whenever the task involves editing `<lang>/lan
Files9 files
SKILL.md61 lines
Loading editor…
Install
RecommendedOne command — your agent picks it up automatically.
Select an AI agent above to see the install command.
or
Manual Install
More stepsDownload the archive and add the files to your project manually.
Skill details
Versionv1.0.0
AuthorJetBrains
Categoryai-ml
Skill IDJetBrains/MPS/.agents/skills/mps-aspect-typesystem
Files9 files
Related skills
ActionsGuidelines for implementing IntelliJ actions (AnAction). Use those rules when you need to create or change an action in the intellij platform.ActionsGuidelines for implementing IntelliJ actions (AnAction). Use those rules when you need to create or change an action in the intellij platform.Code StyleCode style rules for IntelliJ codebase. Use when writing or reviewing code for style compliance.Code StyleCode style rules for IntelliJ codebase. Use when writing or reviewing code for style compliance.CommitsUse this skill whenever the user asks to commit changes, write or fix a commit message, amend or rename a commit, or do a workflow that includes committing in the IntelliJ repository. This is a thin repo-specific overlay: use IntelliJ commit format, write full commit messages by default, and keep requested suffixes such as IJ-MR trailers in a final separate paragraph.CommitsUse this skill whenever the user asks to commit changes, write or fix a commit message, amend or rename a commit, or do a workflow that includes committing in the IntelliJ repository. This is a thin repo-specific overlay: use IntelliJ commit format, write full commit messages by default, and keep requested suffixes such as IJ-MR trailers in a final separate paragraph.