INCOME TAXES (Details 2) - USD ($)	Jul. 31, 2021	Jul. 31, 2020
INCOME TAXES
Net operating losses (NOLs) carryforward	$ 685,960	$ 664,163
Valuation allowance	(685,960)	(664,163)
Net deferred tax asset	$ 0	$ 0

Amount of deferred tax assets for which it is more likely than not that a tax benefit will not be realized.

No definition available.

Name:	jrvs_ValuationAllowance
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount, after allocation of valuation allowances and deferred tax liability, of deferred tax asset attributable to deductible differences and carryforwards, without jurisdictional netting.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32537-109319

+ Details

Name:	us-gaap_DeferredTaxAssetsLiabilitiesNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Amount before allocation of valuation allowances of deferred tax asset attributable to deductible operating loss carryforwards.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 8
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32632-109319

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 6
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32621-109319

+ Details

Name:	us-gaap_DeferredTaxAssetsOperatingLossCarryforwards
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- References

No definition available.

+ Details

Name:	us-gaap_IncomeTaxDisclosureAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration