PrimalSolver is a dependency-free mathematical optimization solver written in C99 that supports LP, MILP, QP, QCQP, SOCP, SDP and mixed-integer conic problems. It provides independently verifiable solution certificates including primal/dual solutions with stationarity, feasibility and complementarity guarantees, validated against MOSEK examples with 4242 reliability checks.