Instruction file imported from moragfullrest-cmyk/fol-knowledge-graph (.cursor/rules/project-mission.mdc). Copyright stays with the author.

Fol Knowledge Graph — миссия проекта

Name: project-mission
Author: moragfullrest-cmyk

Педагогические графы знаний для генерации учебных материалов. Стартовый домен: метатеория логики первого порядка (FOL).

Суть

Граф на метауровне: Concept, Symbol, Rule, Schema, Misconception + типизированные рёбра.
Не хранить полные деревья формул и proof DAG.
Цель: learning paths, определения, правила с условиями, карточки misconceptions → уроки/конспекты.

Архитектура

FolKnowledgeGraph.Core — модели, YAML, валидация, MaterialGenerator.
FolKnowledgeGraph.Web — API + редактор; пользовательские файлы в graphs/.
fol-theory-graph.template.yaml — read-only шаблон в корне репо.

При доработках

Сверяться с AGENTS.md и схемой в шаблоне YAML.
Бизнес-логику держать в Core, не во фронтенде.
Новые типы узлов/рёбер — обновить Core, EditorTypeHelp, валидатор, тесты.
UI-тексты по умолчанию на русском.
Минимальный scope; коммиты — только по запросу пользователя.

Подробности: AGENTS.md.

{ "ocm": "1", "id": "moragfullrest-cmyk-fol-knowledge-graph-project-mission-rule", "kind": "skill", "name": "project-mission", "description": "Главная задача и границы проекта Fol Knowledge Graph", "publisher": "moragfullrest-cmyk", "version": "1.0.0", "capabilities": { "domains": [ "general" ], "tags": [ "skill-md", "github-cursor-rules" ], "languages": [ "en" ] }, "quality_prior": 0.6, "examples": [ "Главная задача и границы проекта Fol Knowledge Graph" ], "primary": false, "metadata": { "source": { "provider": "github-cursor-rules", "repository": "https://github.com/moragfullrest-cmyk/fol-knowledge-graph", "path": ".cursor/rules/project-mission.mdc", "ref": "5a1f4101d19b7fe843c04a6f4f198eaf29b2eff6", "url": "https://github.com/moragfullrest-cmyk/fol-knowledge-graph/blob/5a1f4101d19b7fe843c04a6f4f198eaf29b2eff6/.cursor/rules/project-mission.mdc", "key": "moragfullrest-cmyk/fol-knowledge-graph/.cursor/rules/project-mission.mdc" } }, "instructions": "# Fol Knowledge Graph — миссия проекта\n\nПедагогические графы знаний для **генерации учебных материалов**. Стартовый домен: **метатеория логики первого порядка (FOL)**.\n\n## Суть\n\n- Граф на **метауровне**: Concept, Symbol, Rule, Schema, Misconception + типизированные рёбра.\n- **Не** хранить полные деревья формул и proof DAG.\n- Цель: learning paths, определения, правила с условиями, карточки misconceptions → уроки/конспекты.\n\n## Архитектура\n\n- `FolKnowledgeGraph.Core` — модели, YAML, валидация, `MaterialGenerator`.\n- `FolKnowledgeGraph.Web` — API + редактор; пользовательские файлы в `graphs/`.\n- ", "cost": { "context_tokens": 248 } }

project-mission

About

Fol Knowledge Graph — миссия проекта

Суть

Архитектура

При доработках

Use it

Manifest

Reviews