RELATED PARTY TRANSACTIONS (Detail Textuals) - USD ($)	1 Months Ended	6 Months Ended
Mar. 19, 2018	Jan. 31, 2020	Jul. 31, 2019
Related Party Transaction [Line Items]
Convertible promissory notes issued		$ 500,000	$ 500,000
Shareholder paid operating expenses		15,500
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

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

Amount, before unamortized (discount) premium and debt issuance costs, of long-term debt. Includes, but is not limited to, notes payable, bonds payable, commercial loans, mortgage loans, convertible debt, subordinated debt and other types of debt.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 4
-Subparagraph (b)(1)
-URI http://asc.fasb.org/extlink&oid=109500613&loc=SL6031897-161870

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(16))
-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 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(22))
-URI http://asc.fasb.org/extlink&oid=6877327&loc=d3e13212-122682

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(16))
-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

+ Details

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

- 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=119400593&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 increase (decrease) during the reporting period in the aggregate amount of obligations to be paid to the following types of related parties: a parent company and its subsidiaries; subsidiaries of a common parent; an entity and trust for the benefit of employees, such as pension and profit-sharing trusts that are managed by or under the trusteeship of the entities' management; an entity and its principal owners, management, or member of their immediate families, affiliates, or other parties with the ability to exert significant influence.

+ References

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

+ Details

Name:	us-gaap_IncreaseDecreaseInDueToRelatedPartiesCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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_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=118932676&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: