fabb aaed6c12b6 Fix typo in instruction.md		2025-05-16 12:33:32 +02:00
..
agents	improve SM to always include structure from project-structure and let the user know if it deviates from the epic.	2025-05-08 22:01:00 -05:00
docs/templates	improve SM to always include structure from project-structure and let the user know if it deviates from the epic.	2025-05-08 22:01:00 -05:00
gems-and-gpts	Fix typo in instruction.md	2025-05-16 12:33:32 +02:00
lean-ide-agents	improve SM to always include structure from project-structure and let the user know if it deviates from the epic.	2025-05-08 22:01:00 -05:00