Healing the brain with micro-robots