Represents information about term of agreement.

No definition available.

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

- Definition

Costs of sales and operating expenses for the period incurred from transactions with related parties.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.2)
-URI http://asc.fasb.org/extlink&oid=115205541&loc=SL114868664-224227

+ Details

Name:	us-gaap_CostsAndExpensesRelatedParty
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

Amounts due to recorded owners or owners with a beneficial interest of more than 10 percent of the voting interests or officers of the company. Used to reflect the current portion of the liabilities (due within one year or within the normal operating cycle if longer).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 946
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.6-04(12))
-URI http://asc.fasb.org/extlink&oid=6488278&loc=d3e603758-122996

Reference 2: 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 3: 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=6879938&loc=d3e572229-122910

Reference 4: 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 5: 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(19)(a)(5))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

+ Details

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

- Definition

The percentage of ownership of common stock or equity participation in the investee accounted for under the equity method of accounting.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 323
-SubTopic 10
-Section 50
-Paragraph 3
-Subparagraph (a)(1)
-URI http://asc.fasb.org/extlink&oid=114001798&loc=d3e33918-111571

+ Details

Name:	us-gaap_EquityMethodInvestmentOwnershipPercentage
Namespace Prefix:	us-gaap_
Data Type:	num:percentItemType
Balance Type:	na
Period Type:	instant

- 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_RelatedPartyTransactionLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
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=109223946&loc=d3e3291-108585

+ Details

Name:	us-gaap_RepaymentsOfRelatedPartyDebt
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
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_TypeOfArrangementAxis=jrvs_EmploymentAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

Name:	us-gaap_RelatedPartyTransactionsByRelatedPartyAxis=jrvs_DirectorAndChiefExecutiveOfficerMember
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_RelatedPartyTransactionsByRelatedPartyAxis=jrvs_ConsultantMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

RELATED PARTY TRANSACTIONS (Detail Textuals) - USD ($)	1 Months Ended	3 Months Ended		6 Months Ended
RELATED PARTY TRANSACTIONS (Detail Textuals) - USD ($)	Mar. 19, 2018	Jan. 31, 2019	Jan. 31, 2018	Jan. 31, 2019	Jan. 31, 2018	Jul. 31, 2018
Related Party Transaction [Line Items]
Number of shares issued				1,250,000
Value of shares issued				$ 225,000
Due to related parties, current		$ 235,294		235,294		$ 235,294
Amounts paid to related parties		0	$ 3,158	0	$ 6,755
Employment agreement \| Director and chief executive officer
Related Party Transaction [Line Items]
Term of agreement	1 year
Number of shares issued	17,500,000
Value of shares issued	$ 980,000
Agreement of related party obligations	$ 164,706
Due to related parties, current		164,706		164,706		164,706
Consulting agreement \| Consultant
Related Party Transaction [Line Items]
Term of agreement	1 year
Ownership percentage	1.60%
Number of shares issued	7,500,000
Value of shares issued	$ 420,000
Agreement of related party obligations	$ 70,588
Due to related parties, current		$ 70,588		$ 70,588		$ 70,588