Show HN: Socratic, a knowledge-base builder for agents where YOU stay in control