No definition available.

Name:	jrvs_CompanyCollectedOnPrincipalAmount
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- References

No definition available.

+ Details

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_InterestIncomeOfCollectedOnBehalfOfThirdPartyInvestor
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

Name:	jrvs_InterestIncomeOfCollectedPrincipalAmount
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
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

- Definition

Interest, dividends, rents, ancillary and other revenues earned but not yet received by the entity on its investments.

+ 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)(4))
-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 942
-SubTopic 210
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-03(10))
-URI https://asc.fasb.org/extlink&oid=126897435&loc=d3e534808-122878

Reference 3: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02(3)(a)(4))
-URI https://asc.fasb.org/extlink&oid=120391452&loc=d3e13212-122682

+ Details

Name:	us-gaap_AccruedInvestmentIncomeReceivable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
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

Amount of operating interest income, including, but not limited to, amortization and accretion of premiums and discounts on securities.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.1(e))
-URI https://asc.fasb.org/extlink&oid=126953954&loc=SL114868664-224227

+ Details

Name:	us-gaap_InterestIncomeOperating
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

- Definition

The cash inflow associated with collection, whether partial or full, of long-term loans to a related party. Alternate caption: Proceeds from Advances to Affiliates.

+ References

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a)
-URI https://asc.fasb.org/extlink&oid=126954810&loc=d3e3179-108585

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 850
-SubTopic 10
-Section 50
-Paragraph 1
-Subparagraph (c)
-URI https://asc.fasb.org/extlink&oid=6457730&loc=d3e39549-107864

+ Details

Name:	us-gaap_ProceedsFromCollectionOfLongtermLoansToRelatedParties
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

LOAN RECEIVABLE (Details Narrative) - USD ($)	1 Months Ended	3 Months Ended	9 Months Ended
LOAN RECEIVABLE (Details Narrative) - USD ($)	Aug. 18, 2022	Apr. 30, 2023	Apr. 30, 2023	Jul. 31, 2022	Jul. 22, 2022
LOAN RECEIVABLE
Interest rate on promissory note	12.00%		12.00%
Note payable, value					$ 672,960
Promissory note	$ 358,620				$ 672,960
Company collected on principal amount			$ 314,211
Consideration for notes paid by company	175,007		328,626
Consideration for notes paid by third party investor	$ 175,007		328,626
Interest income		$ 12,249	40,073
Interest income of collected on behalf of third-party investor			24,858
Company collected on behalf of third party investor			157,105
Interest income of collected principal			54,020
Accrued interest income		4,163	4,163	$ 0
Deferred interest income		$ 0	$ 0	$ 6,748