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

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=123467658&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=123467658&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=123570139&loc=d3e3602-108585

+ Details

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

- 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=123570139&loc=d3e3602-108585

+ Details

Name:	us-gaap_IncreaseDecreaseInDueToRelatedParties
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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=123570139&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 (or other type of equity) forfeited during the period.

+ References

No definition available.

+ Details

Name:	us-gaap_StockIssuedDuringPeriodSharesShareBasedCompensationForfeited
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_FormerChiefExecutiveOfficerMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

- Details

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

- Details

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

RELATED PARTY TRANSACTIONS (Details Narrative) - USD ($)	1 Months Ended			3 Months Ended			6 Months Ended
	Sep. 30, 2021	Mar. 19, 2018	Mar. 19, 2018	Jan. 31, 2022	Oct. 31, 2021	Jan. 31, 2021	Jan. 31, 2022	Jan. 31, 2021
Common stock, shares cancelled	17,500,000		17,500,000
Extinguishment of due to former related party					$ 164,706		$ 164,706
Shareholder paid operating expenses				$ 56,625		$ 19,500	$ 56,625	$ 19,500
Former Chief Executive Office officer [member]
Common stock, shares cancelled			17,500,000
Employment agreement
Value of shares issued		$ 980,000
Agreement of related party obligations		$ 164,706
Employment agreement \| Chief Executive Officer [Member]
Common stock, shares cancelled			17,500,000