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 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

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_PlanNameAxis=jrvs_EmploymentAgreementMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type:

RELATED PARTY TRANSACTIONS (Details Narrative) - USD ($)	1 Months Ended		3 Months Ended	9 Months Ended
	Sep. 30, 2021	Mar. 19, 2018	Oct. 31, 2021	Apr. 30, 2022	Apr. 30, 2021
Common stock, shares cancelled	17,500,000			17,500,000
Extinguishment of due to former related party	$ 164,706		$ 164,706	$ 164,706
Shareholder paid operating expenses				$ 80,720	$ 19,500
Employment agreement
Value of shares issued		$ 980,000
Number of shares issued		17,500,000
Agreement of related party obligations		$ 164,706