diff --git a/alib2cli/src/command/HelpCommand.h b/alib2cli/src/command/HelpCommand.h
index 8c6c8da389583509f42f3ccc1bdd6c04370e20cd..e0a47b7fcc8ebf668d5cdafbe2dbd7f63ad02f14 100644
--- a/alib2cli/src/command/HelpCommand.h
+++ b/alib2cli/src/command/HelpCommand.h
@@ -52,6 +52,7 @@ public:
 			std::cout << "" << std::endl;
 			std::cout << "command quit: quits the processor." << std::endl;
 			std::cout << "command help: shows this help." << std::endl;
+			std::cout << "command introspect: prints available algorithms and algorithm overloads." << std::endl;
 			std::cout << "command execute: executes statements" << std::endl;
 			std::cout << "" << std::endl;
 			std::cout << "for details use help of individual command" << std::endl;
diff --git a/alib2cli/src/command/IntrospectionCommand.h b/alib2cli/src/command/IntrospectionCommand.h
new file mode 100644
index 0000000000000000000000000000000000000000..e205304609883a444a4942b4733ab54cc51962e4
--- /dev/null
+++ b/alib2cli/src/command/IntrospectionCommand.h
@@ -0,0 +1,28 @@
+#ifndef _CLI_INTROSPECTION_COMMAND_H_
+#define _CLI_INTROSPECTION_COMMAND_H_
+
+#include <command/Command.h>
+#include <environment/Environment.h>
+
+namespace cli {
+
+class IntrospectionCommand : public Command {
+	std::string m_algorithm;
+
+public:
+	IntrospectionCommand ( std::string algorithm ) : m_algorithm ( std::move ( algorithm ) ) {
+	}
+
+	virtual Command::Result run ( Environment & ) const override {
+		if ( m_algorithm == "" ) {
+			abstraction::Registry::listAlgorithms ( );
+		} else {
+			abstraction::Registry::listAlgorithmOverloads ( m_algorithm );
+		}
+		return Command::Result::OK;
+	}
+};
+
+} /* namespace cli */
+
+#endif /* _CLI_INTROSPECTION_COMMAND_H_ */
diff --git a/alib2cli/src/parser/Parser.cpp b/alib2cli/src/parser/Parser.cpp
index b1bcb15bbf52515869bb53be274a69832cf5cf82..8980f01dbe17a0c75312fcb272f07c0625514e16 100644
--- a/alib2cli/src/parser/Parser.cpp
+++ b/alib2cli/src/parser/Parser.cpp
@@ -23,6 +23,7 @@
 #include <command/ExecuteCommand.h>
 #include <command/QuitCommand.h>
 #include <command/HelpCommand.h>
+#include <command/IntrospectionCommand.h>
 
 #include <primitive/Integer.h>
 #include <primitive/String.h>
@@ -166,7 +167,7 @@ void Parser::result ( std::shared_ptr < StatementList > & list ) {
 	}
 }
 
-std::string Parser::help_parameter ( ) {
+std::string Parser::optional_identifier ( ) {
 	if ( check ( cli::Lexer::TokenType::IDENTIFIER ) ) {
 		return matchIdentifier ( );
 	} else {
@@ -187,9 +188,14 @@ std::unique_ptr < Command > Parser::parse ( ) {
 		return std::make_unique < QuitCommand > ( );
 	} else if ( check_nonreserved_kw ( "help" ) ) {
 		match_nonreserved_kw ( "help" );
-		std::string command = help_parameter ( );
+		std::string command = optional_identifier ( );
 		match ( cli::Lexer::TokenType::END );
 		return std::make_unique < HelpCommand > ( std::move ( command ) );
+	} else if ( check_nonreserved_kw ( "introspect" ) ) {
+		match_nonreserved_kw ( "introspect" );
+		std::string command = optional_identifier ( );
+		match ( cli::Lexer::TokenType::END );
+		return std::make_unique < IntrospectionCommand > ( std::move ( command ) );
 	} else {
 		throw exception::CommonException ( "Mismatched set while expanding param rule." );
 	}
diff --git a/alib2cli/src/parser/Parser.h b/alib2cli/src/parser/Parser.h
index 829024d65faae275db9ebe83ac6fe925bb6e2f10..e1096c3b2803620cc0d1a40b569060f479f695da 100644
--- a/alib2cli/src/parser/Parser.h
+++ b/alib2cli/src/parser/Parser.h
@@ -84,7 +84,7 @@ public:
 
 	void result ( std::shared_ptr < StatementList > & list );
 
-	std::string help_parameter ( );
+	std::string optional_identifier ( );
 
 	std::unique_ptr < Command > parse ( );
 
diff --git a/alib2common/src/abstraction/AlgorithmRegistry.hpp b/alib2common/src/abstraction/AlgorithmRegistry.hpp
index 79d6b70075e934681398888be3e6c10c2026ee78..1f8289913cf3970ac57733406f3ec94727edabc4 100644
--- a/alib2common/src/abstraction/AlgorithmRegistry.hpp
+++ b/alib2common/src/abstraction/AlgorithmRegistry.hpp
@@ -102,6 +102,24 @@ public:
 		bool normalize;
 		return getAbstraction ( std::move ( name ), paramTypes, downcast, normalize );
 	}
+
+	static void listOverloads ( const std::string & algorithm ) {
+		auto group = getEntries ( ).find ( algorithm );
+		if ( group == getEntries ( ).end ( ) )
+			throw exception::CommonException ( "Entry " + algorithm + " not available" );
+
+		for ( const std::pair < const std::vector < std::type_index >, std::unique_ptr < Entry > > & overloads : group->second ) {
+			for ( const std::type_index & param : overloads.first ) {
+				std::cout << param << " " << std::endl;
+			}
+		}
+	}
+
+	static void list ( ) {
+		for ( const std::pair < const std::string, std::map < std::vector < std::type_index >, std::unique_ptr < Entry > > > & entry : getEntries ( ) ) {
+			std::cout << entry.first << std::endl;
+		}
+	}
 };
 
 } /* namespace abstraction */
diff --git a/alib2common/src/abstraction/Registry.cpp b/alib2common/src/abstraction/Registry.cpp
index 25cd777c4c27e2e0b513fb8894cd3212022b7b76..3602f5c32649db92380e1357aa101ac13cebc11f 100644
--- a/alib2common/src/abstraction/Registry.cpp
+++ b/alib2common/src/abstraction/Registry.cpp
@@ -18,6 +18,14 @@
 
 namespace abstraction {
 
+void Registry::listAlgorithmOverloads ( const std::string & algorithm ) {
+	AlgorithmRegistry::listOverloads ( algorithm );
+}
+
+void Registry::listAlgorithms ( ) {
+	AlgorithmRegistry::list ( );
+}
+
 std::shared_ptr < abstraction::OperationAbstraction > Registry::getAlgorithmAbstraction ( std::string name, const std::vector < std::type_index > & paramTypes ) {
 	return AlgorithmRegistry::getAbstraction ( std::move ( name ), paramTypes );
 }
diff --git a/alib2common/src/abstraction/Registry.h b/alib2common/src/abstraction/Registry.h
index e61f1d5075430167685501e428eec844ab88ed3c..af45365e53f795e62ff58a738a914e264aceb126 100644
--- a/alib2common/src/abstraction/Registry.h
+++ b/alib2common/src/abstraction/Registry.h
@@ -14,6 +14,9 @@ namespace abstraction {
 
 class Registry {
 public:
+	static void listAlgorithmOverloads ( const std::string & algorithm );
+	static void listAlgorithms ( );
+
 	static std::shared_ptr < abstraction::OperationAbstraction > getAlgorithmAbstraction ( std::string name, const std::vector < std::type_index > & paramTypes );
 	static std::shared_ptr < abstraction::OperationAbstraction > getAlgorithmAbstraction ( std::string name, const std::vector < std::type_index > & paramTypes, bool & unwrap, bool & normalize );
 	static std::shared_ptr < abstraction::OperationAbstraction > getCastAbstraction ( std::string target, std::string param );