Vu:
le jugement du 16 juin 2014, par lequel le Tribunal administratif fédéral, Cour III, a déclaré irrecevable le recours que A._ avait formé contre une décision de l'Office de l'assurance-invalidité pour les assurés résidant à l'étranger du 13 février 2014,
l'écriture postée le 4 juillet 2014 par A._,
la lettre du 15 juillet 2014, par laquelle le Tribunal fédéral a informé A._ du fait que le recours ne semblait pas remplir les exigences de forme posées par la loi (nécessité de formuler des conclusions et une motivation) et que seule une rectification dans le délai de recours était possible,
l'écriture déposée le 25 juillet 2014 par A._ à la suite de cet avertissement,

considérant:
que selon l'art. 42 al. 1 et 2 LTF, le recours doit indiquer, entre autres exigences, les conclusions, les motifs et les moyens de preuve, en exposant succinctement en quoi l'acte attaqué est contraire au droit,
qu'à défaut, le recours est irrecevable,
que selon la jurisprudence, un recours ne comportant que des arguments sur le fond alors qu'il porte sur un jugement d'irrecevabilité ne contient pas une motivation topique et ne constitue pas, dès lors, un recours valable (cf. <ref-ruling>; <ref-ruling>; DTA 2002 n o 7 p. 61 consid. 2),
que le recourant n'aborde que la question du degré de son invalidité,
qu'en revanche, malgré l'écriture du 15 juillet 2014, il n'indique pas les motifs pour lesquels, à son avis, le Tribunal administratif fédéral aurait dû entrer en matière sur son recours, seule question qui peut être examinée par le Tribunal fédéral,
que le recours doit dès lors être déclaré irrecevable selon la procédure simplifiée de l'<ref-law>,
qu'en application de l'art. 66 al. 1, 2 ème phrase, LTF, il convient de renoncer à la perception des frais judiciaires,

par ces motifs, le Juge unique prononce:
1.
Le recours est irrecevable.
2.
Il n'est pas perçu de frais judiciaires.
3.
Le présent arrêt est communiqué aux parties, au Tribunal administratif fédéral, Cour III, et à l'Office fédéral des assurances sociales.
Lucerne, le 1 er septembre 2014
Au nom de la IIe Cour de droit social
du Tribunal fédéral suisse
Le Juge unique: Meyer
Le Greffier: Berthoud