Represents Contributed capital by principal shareholder through debt forgiveness

No definition available.

Name:	jrvs_ContributedCapitalByPrincipalShareholderThroughDebtForgiveness
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Face amount or stated value per share of common stock.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(29))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_CommonStockParOrStatedValuePerShare
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	instant

- Definition

The maximum number of common shares permitted to be issued by an entity's charter and bylaws.

+ References

+ Details

Name:	us-gaap_CommonStockSharesAuthorized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Total number of common shares of an entity that have been sold or granted to shareholders (includes common shares that were issued, repurchased and remain in the treasury). These shares represent capital invested by the firm's shareholders and owners, and may be all or only a portion of the number of shares authorized. Shares issued include shares outstanding and shares held in the treasury.

+ References

+ Details

Name:	us-gaap_CommonStockSharesIssued
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Number of shares of common stock outstanding. Common stock represent the ownership interest in a corporation.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 505
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=109259400&loc=d3e21463-112644

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(29))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

Name:	us-gaap_CommonStockSharesOutstanding
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

- Definition

Carrying amount as of the balance sheet date of obligations due all related parties.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 235
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.4-08.(k)(1))
-URI http://asc.fasb.org/extlink&oid=26873400&loc=d3e23780-122690

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-03.17)
-URI http://asc.fasb.org/extlink&oid=119400593&loc=d3e572229-122910

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 850
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (d)
-URI http://asc.fasb.org/extlink&oid=6457730&loc=d3e39549-107864

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03.15(3),(4))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

+ Details

Name:	us-gaap_DueToRelatedPartiesCurrentAndNoncurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Difference between the fair value of payments made and the carrying amount of debt which is extinguished prior to maturity.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 50
-Section 40
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=117329964&loc=d3e12355-112629

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 50
-Section 40
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=117329964&loc=d3e12317-112629

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 28
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=118932676&loc=d3e3602-108585

+ Details

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

- Definition

The cash outflow for the payment of a long-term borrowing made from a related party where one party can exercise control or significant influence over another party; including affiliates, owners or officers and their immediate families, pension trusts, and so forth. Alternate caption: Payments for Advances from Affiliates.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 15
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=118932676&loc=d3e3291-108585

+ Details

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

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

No definition available.

+ Details

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

- Definition

Number of shares issued in lieu of cash for services contributed to the entity. Number of shares includes, but is not limited to, shares issued for services contributed by vendors and founders.

+ References

No definition available.

+ Details

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

- Definition

Value of stock issued in lieu of cash for services contributed to the entity. Value of the stock issued includes, but is not limited to, services contributed by vendors and founders.

+ References

No definition available.

+ Details

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

- Details

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=jrvs_ConsultantMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_TypeOfArrangementAxis=jrvs_EmploymentAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=jrvs_FormerChiefExecutiveOfficerAndSoleDirectorMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_TypeOfArrangementAxis=jrvs_ConsultingAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_TypeOfArrangementAxis=jrvs_ReleaseAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=jrvs_FormerChiefFinancialOfficerMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

COMMON STOCK (Detail Textuals) - USD ($)	1 Months Ended		12 Months Ended
COMMON STOCK (Detail Textuals) - USD ($)	Mar. 22, 2018	Mar. 19, 2018	Jul. 31, 2019	Jul. 31, 2018	Jul. 31, 2017
Schedule of Equity Method Investments [Line Items]
Value of shares issued				$ 84,000
Common shares, shares authorized			300,000,000	300,000,000
Common shares, par value (in dollars per share)			$ 0.001	$ 0.001
Common stock, shares issued			79,792,286	78,542,286
Common stock, shares outstanding			79,792,286	78,542,286
Gain on settlement of debt recorded as other income				$ 120,271
Gain on settlement of debt recorded as additional paid-in capital			$ 70,588	454,156
Consultant
Schedule of Equity Method Investments [Line Items]
Number of shares issued			1,250,000
Value of shares issued			$ 225,000
Employment agreement \| Former chief executive officer and sole director
Schedule of Equity Method Investments [Line Items]
Number of shares issued		17,500,000
Value of shares issued		$ 980,000
Consulting agreement \| Consultant
Schedule of Equity Method Investments [Line Items]
Number of shares issued		7,500,000
Value of shares issued		$ 420,000
Repayments of related party debt		70,588
Gain on settlement of debt recorded as other income		$ 70,588
Release agreement \| Former chief executive officer and sole director
Schedule of Equity Method Investments [Line Items]
Number of shares issued	1,500,000
Value of shares issued	$ 84,000
Amount due to related parties					$ 538,156
Gain on settlement of debt recorded as additional paid-in capital				454,156
Release agreement \| Former chief financial officer
Schedule of Equity Method Investments [Line Items]
Amount due to related parties					$ 145,271
Repayments of related party debt	$ 25,000
Gain on settlement of debt recorded as other income				$ 120,271