Hope this is the right forum for this announcement.
sycira is a symbolic circuit analyzer. Kind of spice - but you get formulas and not numbers.
It is based on maxima, an open source computer algebra system. KiCad Eeschma is used for the input of the circuits.
The subproject KiCad2sycira generates a netlist compatible with sycira and a minimal wxMaxima session.
You can find it - together with short tutorials - here:
Any feedback is welcome