Full description with complete proofs of the method proposed in ‘Combinatorial formulas for cohomology of spaces of knots’ is presented in an algorithmic form ready for the computer implementation, and explicit calculations of the first examples are accomplished. Directions of the further work are indicated, especially concerning the generation of algorithms for the automatic calculation of more complicated and more powerful combinatorial invariants.