LOAN RECEIVABLE (Details Narrative)	3 Months Ended
Jul. 31, 2022 USD ($)
LOAN RECEIVABLE
Interest rate on promissory note	12.00%
Note payable, value	$ 672,960
Promissory note	672,960
Deferred interest income	$ 6,748
Description of loan receivale	a pre-payment on July 22, 2022 of pro-rated interest for the period from July 22, 2022 through July 30, 2022 in the amount of $2,212; (2) a pre-payment of interest on August 1, 2022 for the period from August 1, 2022 through September 30, 2022 in the amount of $13,496; and then (3) monthly payments of interest only beginning on October 1, 2022 and continuing on the 1st day of each month thereafter until all principal and accrued interest are paid in full by July 1, 2023
Consideration for notes paid by company	$ 32,862,600
Consideration for notes paid by third party investor	32,862,600
Interest income	1,106
Property value on on note is secured	$ 1,121,600

No definition available.

Name:	jrvs_ConsiderationForNotesPaidByCompany
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

Name:	jrvs_ConsiderationForNotesPaidByThirdPartyInvestor
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

Name:	jrvs_DescriptionOfLoanReceivale
Namespace Prefix:	jrvs_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

+ Details

Name:	jrvs_LoanReceivableDisclosureAbstract
Namespace Prefix:	jrvs_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

+ Details

Name:	jrvs_PromissoryNotePrincipalAmount
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- References

No definition available.

+ Details

Name:	jrvs_PropertyValueOnOnNoteIsSecured
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

The average effective interest rate during the reporting period.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 835
-SubTopic 30
-Section 45
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=124435984&loc=d3e28551-108399

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 20
-Section 50
-Paragraph 1F
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=123466505&loc=SL123495355-112611

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(a)(1))
-URI https://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

+ Details

Name:	us-gaap_DebtInstrumentInterestRateDuringPeriod
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:percentItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of deferred income excluding obligation to transfer product and service to customer for which consideration has been received or is receivable.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 470
-SubTopic 10
-Section 25
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=28183603&loc=d3e692-112598

+ Details

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

- Definition

The amount of interest income and other income recognized during the period. Included in this element is interest derived from investments in debt securities, cash and cash equivalents, and other investments which reflect the time value of money or transactions in which the payments are for the use or forbearance of money and other income from ancillary business-related activities (that is, excluding major activities considered part of the normal operations of the business).

+ References

No definition available.

+ Details

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

- Definition

Including the current and noncurrent portions, aggregate carrying amount of all types of notes payable, as of the balance sheet date, with initial maturities beyond one year or beyond the normal operating cycle, if longer.

+ References

Reference 1: 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(a)(16))
-URI https://asc.fasb.org/extlink&oid=126734703&loc=d3e572229-122910

Reference 2: 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 https://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

Reference 3: 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 https://asc.fasb.org/extlink&oid=126897435&loc=d3e534808-122878

+ Details

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