SUMMARY OF SIGNIFICANT ACCOUNTING POLICIES (Details Narrative) - USD ($)	9 Months Ended	12 Months Ended
Apr. 30, 2025	Apr. 30, 2024	Jul. 31, 2024
Interest capitalized amount	$ 10,815	$ 25,000
Cash paid for taxes	$ 1,128	$ 0
Vehicles [Member]
Property and equipment, useful life	3 years
Series A Preferred Stock [Member]
Antidilutive securities excluded from computation of earnings share	100,000		100,000
Preferred Stock [Member]
Property and equipment, useful life	27 years

No definition available.

Name:	jrvs_PropertyPlantAndEquipmentTangibleAssetsUsefulLife
Namespace Prefix:	jrvs_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

- Definition

Securities (including those issuable pursuant to contingent stock agreements) that could potentially dilute basic earnings per share (EPS) or earnings per unit (EPU) in the future that were not included in the computation of diluted EPS or EPU because to do so would increase EPS or EPU amounts or decrease loss per share or unit amounts for the period presented.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 260
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482662/260-10-50-1

+ Details

Name:	us-gaap_AntidilutiveSecuritiesExcludedFromComputationOfEarningsPerShareAmount
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount, after refund, of cash paid to foreign, federal, state, and local jurisdictions as income tax.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2A
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482913/230-10-50-2A

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 23
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482685/740-10-50-23

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 740
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482685/740-10-50-22

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482913/230-10-50-2

+ Details

Name:	us-gaap_IncomeTaxesPaidNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of cash paid for interest capitalized, classified as investing activity.

+ References

Reference 1: http://www.xbrl.org/2003/role/exampleRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 13
-Subparagraph (c)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482740/230-10-45-13

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482913/230-10-50-2

+ Details

Name:	us-gaap_InterestPaidCapitalized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Details

Name:	us-gaap_PropertyPlantAndEquipmentByTypeAxis=us-gaap_VehiclesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_StatementClassOfStockAxis=us-gaap_SeriesAPreferredStockMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_StatementClassOfStockAxis=jrvs_PreferredStockSharesMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: