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

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://www.xbrl.org/2003/role/presentationRef
-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://www.xbrl.org/2003/role/presentationRef
-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

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-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://www.xbrl.org/2003/role/presentationRef
-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://www.xbrl.org/2003/role/presentationRef
-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

+ Details

Name:	us-gaap_DueToOfficersOrStockholdersCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
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://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 15
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=98514028&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_ReleaseAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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

- Details

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

RELATED PARTY TRANSACTIONS (Detail Textuals) - USD ($)			1 Months Ended
RELATED PARTY TRANSACTIONS (Detail Textuals) - USD ($)	Apr. 12, 2018	Jul. 12, 2015	Mar. 22, 2018	Mar. 19, 2018	Oct. 16, 2014	Apr. 30, 2018	Jul. 31, 2017
Related Party Transaction [Line Items]
Due to related parties, current						$ 164,706	$ 683,427
Release agreement \| Former chief executive officer
Related Party Transaction [Line Items]
Number of shares issued	1,500,000		1,500,000
Value of shares issued	$ 84,000		$ 84,000
Release agreement \| Former chief financial officer
Related Party Transaction [Line Items]
Agreement of related party obligations			$ 25,000
Employment agreement
Related Party Transaction [Line Items]
Term of agreement				1 year
Employment agreement \| Former chief executive officer
Related Party Transaction [Line Items]
Term of agreement					3 years
Employment agreement \| Former chief financial officer
Related Party Transaction [Line Items]
Term of agreement		3 years
Employment agreement \| Director and chief executive officer
Related Party Transaction [Line Items]
Number of shares issued				17,500,000
Value of shares issued				$ 980,000
Agreement of related party obligations				$ 164,706