lean-aristotle-mcp by septract — theskillcity