Formal geometry for noncommutative manifolds