socrates_api
socrates_cli
socratic_system
