DISCONTINUED OPERATION (Details) - Discontinued operations - USD ($)	3 Months Ended	9 Months Ended
Apr. 30, 2020	Apr. 30, 2019	Apr. 30, 2020	Apr. 30, 2019
Operating expenses
Revenue	$ 0	$ 0	$ 0	$ 0
Cost of revenue	0	0	0	0
Inventory valuation reserve	0	0	0	(404,350)
Gross profit	0	(0)	0	(404,350)
General and administrative	0	0	0	(27,520)
Stock-based compensation	0	(181,125)	0	(228,000)
Operating loss	0	(181,125)	0	(659,870)
Income tax provision	0	0	0	0
Loss from discontinued operations, net of tax	$ 0	$ (181,125)	$ 0	$ (659,870)

Amount classified as inventory valuation reserve attributable to discontinued operations.

No definition available.

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

- Definition

Amount of stock based compensation expenses attributable to disposal group, including, but not limited to, discontinued operation.

+ References

No definition available.

+ Details

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

- Definition

Amount of tax expense (benefit) related to a discontinued operation. Includes, but is not limited to, tax expense (benefit) related to income (loss) from operations during the phase-out period, tax expense (benefit) related to gain (loss) on disposal, tax expense (benefit) related to gain (loss) for reversal of write-down (write-down) to fair value, less cost to sell, and tax expense (benefit) related to adjustments of a prior period gain (loss) on disposal.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3B
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721525-107759

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 20
-Section 45
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=109238882&loc=d3e38679-109324

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 740
-SubTopic 10
-Section 50
-Paragraph 10
-URI http://asc.fasb.org/extlink&oid=84230637&loc=d3e32672-109319

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=109222160&loc=d3e1012-107759

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=d3e1361-107760

Reference 6: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3A
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721523-107759

Reference 7: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5C
-Subparagraph (b)(2)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721675-107760

Reference 8: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5B
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721673-107760

+ Details

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

- Definition

Amount of costs of goods sold attributable to disposal group, including, but not limited to, discontinued operation.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5B
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721673-107760

+ Details

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

- Definition

Amount of general and administrative expense attributable to disposal group, including, but not limited to, discontinued operation.

+ References

+ Details

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

- Definition

Amount of gross profit attributable to disposal group, including, but not limited to, discontinued operation.

+ References

+ Details

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

- Definition

Amount of operating income (loss) attributable to disposal group, including, but not limited to, discontinued operation.

+ References

+ Details

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

- Definition

Amount of revenue attributable to disposal group, including, but not limited to, discontinued operation.

+ References

+ Details

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

- Definition

Amount after tax of income (loss) from a discontinued operation attributable to the parent. Includes, but is not limited to, the income (loss) from operations during the phase-out period, gain (loss) on disposal, gain (loss) for reversal of write-down (write-down) to fair value, less cost to sell, and adjustments to a prior period gain (loss) on disposal.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3
-URI http://asc.fasb.org/extlink&oid=109222160&loc=d3e957-107759

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3A
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721523-107759

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 3B
-URI http://asc.fasb.org/extlink&oid=109222160&loc=SL51721525-107759

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=d3e1361-107760

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5C
-Subparagraph (b)(2)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721675-107760

Reference 6: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 50
-Paragraph 5B
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=109222650&loc=SL51721673-107760

Reference 7: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 810
-SubTopic 10
-Section 45
-Paragraph 19
-URI http://asc.fasb.org/extlink&oid=108774443&loc=SL4569616-111683

Reference 8: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 205
-SubTopic 20
-Section 45
-Paragraph 4
-URI http://asc.fasb.org/extlink&oid=109222160&loc=d3e1012-107759

+ Details

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

- References

No definition available.

+ Details

Name:	us-gaap_OperatingExpensesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Details

Name:	us-gaap_DisposalGroupClassificationAxis=us-gaap_SegmentDiscontinuedOperationsMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: