diff --git a/package.json b/package.json
index 5ddeb459..e223c1e3 100644
--- a/package.json
+++ b/package.json
@@ -26,7 +26,7 @@
     "lint:fix:danger": "oxlint . --fix-dangerously",
     "format": "oxfmt --check",
     "format:fix": "oxfmt",
-    "typecheck": "tsc --noEmit && pnpm run -F @markput/website check",
+    "typecheck": "pnpm -r run typecheck",
     "clean": "git clean -xdf",
     "clean:dry": "git clean -xdn",
     "preinstall": "npx only-allow pnpm",
diff --git a/packages/common/core/package.json b/packages/common/core/package.json
index 096a0e52..57536445 100644
--- a/packages/common/core/package.json
+++ b/packages/common/core/package.json
@@ -10,6 +10,7 @@
     "./styles.module.css": "./styles.module.css"
   },
   "scripts": {
+    "typecheck": "tsc --noEmit",
     "build": "vite build",
     "build:watch": "vite build -w",
     "test": "vitest run",
@@ -24,6 +25,7 @@
     "@faker-js/faker": "catalog:",
     "@vitest/coverage-v8": "catalog:",
     "@vitest/ui": "catalog:",
+    "typescript": "catalog:",
     "vite": "catalog:",
     "vitest": "catalog:"
   }
diff --git a/packages/common/core/src/features/store/Store.ts b/packages/common/core/src/features/store/Store.ts
index 39cdf5f9..3722e4db 100644
--- a/packages/common/core/src/features/store/Store.ts
+++ b/packages/common/core/src/features/store/Store.ts
@@ -1,4 +1,4 @@
-import {defineState, defineEvents, type UseHookFactory} from '../../shared/classes'
+import {defineState, defineEvents, type UseHookFactory, type StateObject} from '../../shared/classes'
 import {KeyGenerator} from '../../shared/classes/KeyGenerator'
 import {NodeProxy} from '../../shared/classes/NodeProxy'
 import type {MarkputHandler, MarkputState, OverlayMatch} from '../../shared/types'
@@ -22,7 +22,7 @@ export class Store {
 		input: new NodeProxy(undefined, this),
 	}
 
-	readonly state: ReturnType<typeof defineState<MarkputState>>
+	readonly state: StateObject<MarkputState>
 
 	readonly events = defineEvents<{
 		change: void
@@ -49,7 +49,7 @@ export class Store {
 	readonly lifecycle = new Lifecycle(this)
 
 	constructor(options: StoreOptions) {
-		this.state = defineState(
+		this.state = defineState<MarkputState>(
 			{
 				tokens: [],
 				parser: undefined,
diff --git a/packages/common/core/src/shared/classes/defineState.ts b/packages/common/core/src/shared/classes/defineState.ts
index 98400894..c8dbfade 100644
--- a/packages/common/core/src/shared/classes/defineState.ts
+++ b/packages/common/core/src/shared/classes/defineState.ts
@@ -2,15 +2,16 @@ import {Reactive} from './Reactive'
 
 /**
  * Framework adapters can return any reactive wrapper from `use`.
- * React returns plain values, while Vue can return `Ref<T>`.
+ * The actual return type of `use()` is overridden per-framework via module augmentation.
+ * React returns plain T, Vue augments Signal<T> so that `use()` returns Ref<T>.
  */
-export type UseHookFactory = <T>(signal: Signal<T>) => () => any
+export type UseHookFactory = <T>(signal: Signal<T>) => () => unknown
 
-export type Signal<T> = {
+export interface Signal<T> {
 	get(): T
 	set(value: T): void
 	on(fn: (value: T) => void): () => void
-	use: () => T
+	use(): T
 }
 
 function createSignal<T>(reactive: Reactive<T>, createUseHook: UseHookFactory): Signal<T> {
@@ -18,7 +19,7 @@ function createSignal<T>(reactive: Reactive<T>, createUseHook: UseHookFactory):
 	signal.get = () => reactive.get()
 	signal.set = (value: T) => reactive.set(value)
 	signal.on = (fn: (value: T) => void) => reactive.on(fn)
-	signal.use = createUseHook(signal)
+	signal.use = createUseHook(signal) as Signal<T>['use']
 
 	return signal
 }
diff --git a/packages/common/core/src/shared/classes/index.ts b/packages/common/core/src/shared/classes/index.ts
index c089e4a8..7f60525a 100644
--- a/packages/common/core/src/shared/classes/index.ts
+++ b/packages/common/core/src/shared/classes/index.ts
@@ -1,5 +1,5 @@
 export {Reactive} from './Reactive'
-export type {Signal, UseHookFactory} from './defineState'
+export type {Signal, UseHookFactory, StateObject} from './defineState'
 export {defineState} from './defineState'
 export type {Emitter} from './defineEvents'
 export {defineEvents} from './defineEvents'
diff --git a/packages/react/markput/package.json b/packages/react/markput/package.json
index dc742656..9153c9c0 100644
--- a/packages/react/markput/package.json
+++ b/packages/react/markput/package.json
@@ -27,6 +27,7 @@
     }
   },
   "scripts": {
+    "typecheck": "tsc --noEmit",
     "build": "vite build && tsc && node prepack.js",
     "publish": "pnpm publish dist --no-git-checks --json --access public --provenance"
   },
diff --git a/packages/vue/markput/package.json b/packages/vue/markput/package.json
index 897e3c11..bc8b2538 100644
--- a/packages/vue/markput/package.json
+++ b/packages/vue/markput/package.json
@@ -27,6 +27,7 @@
     }
   },
   "scripts": {
+    "typecheck": "vue-tsc --noEmit",
     "build": "vite build && vue-tsc --declaration --emitDeclarationOnly && node prepack.js",
     "publish": "pnpm publish dist --no-git-checks --json --access public --provenance"
   },
diff --git a/packages/vue/markput/src/components/BlockContainer.vue b/packages/vue/markput/src/components/BlockContainer.vue
index 7cb663f4..22742133 100644
--- a/packages/vue/markput/src/components/BlockContainer.vue
+++ b/packages/vue/markput/src/components/BlockContainer.vue
@@ -1,7 +1,7 @@
 <script setup lang="ts">
 import type {CoreSlotProps, CoreSlots, Token as CoreToken} from '@markput/core'
 import {splitTokensIntoBlocks, reorderBlocks, parseWithParser} from '@markput/core'
-import {computed, type Ref} from 'vue'
+import {computed} from 'vue'
 
 import {useStore} from '../lib/hooks/useStore'
 import {resolveSlot, resolveSlotProps} from '../lib/utils/resolveSlot'
@@ -9,14 +9,14 @@ import DraggableBlock from './DraggableBlock.vue'
 import Token from './Token.vue'
 
 const store = useStore()
-const tokens = store.state.tokens.use() as unknown as Ref<CoreToken[]>
-const slots = store.state.slots.use() as unknown as Ref<CoreSlots | undefined>
-const slotProps = store.state.slotProps.use() as unknown as Ref<CoreSlotProps | undefined>
+const tokens = store.state.tokens.use()
+const slots = store.state.slots.use()
+const slotProps = store.state.slotProps.use()
 const className = store.state.className.use()
 const style = store.state.style.use()
-const readOnly = store.state.readOnly.use() as unknown as Ref<boolean>
-const value = store.state.value.use() as unknown as Ref<string | undefined>
-const onChange = store.state.onChange.use() as unknown as Ref<((v: string) => void) | undefined>
+const readOnly = store.state.readOnly.use()
+const value = store.state.value.use()
+const onChange = store.state.onChange.use()
 const key = store.key
 
 const containerTag = computed(() => resolveSlot('container', slots.value))
diff --git a/packages/vue/markput/src/components/Container.vue b/packages/vue/markput/src/components/Container.vue
index a03e52dd..03fc3c27 100644
--- a/packages/vue/markput/src/components/Container.vue
+++ b/packages/vue/markput/src/components/Container.vue
@@ -1,6 +1,6 @@
 <script lang="ts">
 import type {CoreSlotProps, CoreSlots, StyleProperties, Token as CoreToken} from '@markput/core'
-import {computed, defineComponent, h, type Ref} from 'vue'
+import {computed, defineComponent, h} from 'vue'
 
 import {useStore} from '../lib/hooks/useStore'
 import {resolveSlot, resolveSlotProps} from '../lib/utils/resolveSlot'
@@ -9,11 +9,11 @@ import Token from './Token.vue'
 export default defineComponent({
 	setup() {
 		const store = useStore()
-		const tokens = store.state.tokens.use() as unknown as Ref<CoreToken[]>
-		const slots = store.state.slots.use() as unknown as Ref<CoreSlots | undefined>
-		const slotProps = store.state.slotProps.use() as unknown as Ref<CoreSlotProps | undefined>
-		const className = store.state.className.use() as unknown as Ref<string | undefined>
-		const style = store.state.style.use() as unknown as Ref<StyleProperties | undefined>
+		const tokens = store.state.tokens.use()
+		const slots = store.state.slots.use()
+		const slotProps = store.state.slotProps.use()
+		const className = store.state.className.use()
+		const style = store.state.style.use()
 		const key = store.key
 
 		const containerTag = computed(() => resolveSlot('container', slots.value))
diff --git a/packages/vue/markput/src/components/MarkRenderer.vue b/packages/vue/markput/src/components/MarkRenderer.vue
index 4b50092e..676a930f 100644
--- a/packages/vue/markput/src/components/MarkRenderer.vue
+++ b/packages/vue/markput/src/components/MarkRenderer.vue
@@ -11,7 +11,7 @@ import Token from './Token.vue'
 const store = useStore()
 const tokenRef = inject(TOKEN_KEY)!
 const node = tokenRef.value as MarkToken
-const optionsRef = store.state.options.use() as unknown as Ref<Option[] | undefined>
+const optionsRef = store.state.options.use() as Ref<Option[] | undefined>
 const MarkRef = store.state.Mark.use() as Ref<Component | undefined>
 const key = store.key
 
diff --git a/packages/vue/markput/src/components/OverlayRenderer.vue b/packages/vue/markput/src/components/OverlayRenderer.vue
index 774f792a..b5a43579 100644
--- a/packages/vue/markput/src/components/OverlayRenderer.vue
+++ b/packages/vue/markput/src/components/OverlayRenderer.vue
@@ -7,8 +7,8 @@ import type {Option} from '../types'
 import Suggestions from './Suggestions/Suggestions.vue'
 
 const store = useStore()
-const overlayMatchRef = store.state.overlayMatch.use() as unknown as Ref<OverlayMatch<Option> | undefined>
-const OverlayRef = store.state.Overlay.use() as unknown as Ref<Component | undefined>
+const overlayMatchRef = store.state.overlayMatch.use() as Ref<OverlayMatch<Option> | undefined>
+const OverlayRef = store.state.Overlay.use() as Ref<Component | undefined>
 
 const overlayKey = computed(() => (overlayMatchRef.value ? store.key.get(overlayMatchRef.value.option) : undefined))
 
diff --git a/packages/vue/markput/src/components/TextSpan.vue b/packages/vue/markput/src/components/TextSpan.vue
index 562d217f..e54ab14c 100644
--- a/packages/vue/markput/src/components/TextSpan.vue
+++ b/packages/vue/markput/src/components/TextSpan.vue
@@ -1,6 +1,6 @@
 <script setup lang="ts">
 import type {CoreSlotProps, CoreSlots} from '@markput/core'
-import {inject, ref, computed, watch, onMounted, type Ref} from 'vue'
+import {inject, ref, computed, watch, onMounted} from 'vue'
 
 import {useStore} from '../lib/hooks/useStore'
 import {TOKEN_KEY} from '../lib/providers/tokenKey'
@@ -11,9 +11,9 @@ const tokenRef = inject(TOKEN_KEY)!
 const token = tokenRef.value
 const elRef = ref<HTMLSpanElement | null>(null)
 
-const readOnly = store.state.readOnly.use() as unknown as Ref<boolean>
-const slots = store.state.slots.use() as unknown as Ref<CoreSlots | undefined>
-const slotProps = store.state.slotProps.use() as unknown as Ref<CoreSlotProps | undefined>
+const readOnly = store.state.readOnly.use()
+const slots = store.state.slots.use()
+const slotProps = store.state.slotProps.use()
 const spanTag = computed(() => resolveSlot('span', slots.value))
 const spanProps = computed(() => resolveSlotProps('span', slotProps.value))
 
diff --git a/packages/vue/markput/src/lib/hooks/createUseHook.ts b/packages/vue/markput/src/lib/hooks/createUseHook.ts
index 5bacb1db..08cce627 100644
--- a/packages/vue/markput/src/lib/hooks/createUseHook.ts
+++ b/packages/vue/markput/src/lib/hooks/createUseHook.ts
@@ -1,7 +1,7 @@
-import type {Signal} from '@markput/core'
+import type {Signal, UseHookFactory} from '@markput/core'
 import {type Ref, shallowRef} from 'vue'
 
-export const createUseHook =
+export const createUseHook: UseHookFactory =
 	<T>(signal: Signal<T>) =>
 	(): Ref<T> => {
 		const value = shallowRef(signal.get()) as Ref<T>
diff --git a/packages/vue/markput/src/lib/hooks/useCoreFeatures.ts b/packages/vue/markput/src/lib/hooks/useCoreFeatures.ts
index 2f827533..5c8eeba2 100644
--- a/packages/vue/markput/src/lib/hooks/useCoreFeatures.ts
+++ b/packages/vue/markput/src/lib/hooks/useCoreFeatures.ts
@@ -1,5 +1,5 @@
 import type {Store} from '@markput/core'
-import {onMounted, onUnmounted, watch, type Ref} from 'vue'
+import {onMounted, onUnmounted, watch} from 'vue'
 
 import type {Option} from '../../types'
 
@@ -14,9 +14,9 @@ export function useCoreFeatures(store: Store) {
 		store.lifecycle.disable()
 	})
 
-	const value = store.state.value.use() as unknown as Ref<string | undefined>
-	const Mark = store.state.Mark.use() as unknown as Ref<unknown>
-	const coreOptions = store.state.options.use() as unknown as Ref<Option[] | undefined>
+	const value = store.state.value.use()
+	const Mark = store.state.Mark.use()
+	const coreOptions = store.state.options.use()
 
 	watch(
 		[value, coreOptions, Mark],
diff --git a/packages/vue/markput/src/lib/hooks/useMark.ts b/packages/vue/markput/src/lib/hooks/useMark.ts
index 25274668..b29ec864 100644
--- a/packages/vue/markput/src/lib/hooks/useMark.ts
+++ b/packages/vue/markput/src/lib/hooks/useMark.ts
@@ -1,6 +1,6 @@
 import type {MarkToken} from '@markput/core'
 import {MarkHandler} from '@markput/core'
-import {type Ref, inject, ref, watch, onMounted} from 'vue'
+import {inject, ref, watch, onMounted} from 'vue'
 
 import {TOKEN_KEY} from '../providers/tokenKey'
 import {useStore} from './useStore'
@@ -40,7 +40,7 @@ export const useMark = <T extends HTMLElement = HTMLElement>(options: MarkOption
 		}
 	})
 
-	const readOnly = store.state.readOnly.use() as unknown as Ref<boolean>
+	const readOnly = store.state.readOnly.use()
 	watch(readOnly, val => {
 		mark.readOnly = val
 	})
diff --git a/packages/vue/markput/src/lib/hooks/useOverlay.ts b/packages/vue/markput/src/lib/hooks/useOverlay.ts
index 8534bf5f..5d43150e 100644
--- a/packages/vue/markput/src/lib/hooks/useOverlay.ts
+++ b/packages/vue/markput/src/lib/hooks/useOverlay.ts
@@ -21,7 +21,7 @@ export interface OverlayHandler {
 
 export function useOverlay(): OverlayHandler {
 	const store = useStore()
-	const matchRef = store.state.overlayMatch.use() as unknown as Ref<OverlayMatch<Option> | undefined>
+	const matchRef = store.state.overlayMatch.use() as Ref<OverlayMatch<Option> | undefined>
 
 	const style = computed(() => {
 		// Depend on matchRef so position recalculates as user types/moves caret
diff --git a/packages/vue/markput/src/lib/hooks/useStore.ts b/packages/vue/markput/src/lib/hooks/useStore.ts
index 1c476e0f..898aac91 100644
--- a/packages/vue/markput/src/lib/hooks/useStore.ts
+++ b/packages/vue/markput/src/lib/hooks/useStore.ts
@@ -1,8 +1,15 @@
 import type {Store} from '@markput/core'
 import {inject} from 'vue'
+import type {Ref} from 'vue'
 
 import {STORE_KEY} from '../providers/storeKey'
 
+declare module '@markput/core' {
+	interface Signal<T> {
+		use(): Ref<T>
+	}
+}
+
 export function useStore(): Store {
 	const store = inject(STORE_KEY)
 	if (!store) {
diff --git a/packages/website/package.json b/packages/website/package.json
index bfe5cd05..f8157f52 100644
--- a/packages/website/package.json
+++ b/packages/website/package.json
@@ -6,7 +6,7 @@
     "dev": "astro dev",
     "build": "astro build",
     "preview": "astro preview",
-    "check": "astro check",
+    "typecheck": "astro check",
     "astro": "astro"
   },
   "dependencies": {
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
index a37257d7..7a7949bb 100644
--- a/pnpm-lock.yaml
+++ b/pnpm-lock.yaml
@@ -122,6 +122,9 @@ importers:
       '@vitest/ui':
         specifier: 'catalog:'
         version: 4.0.18(vitest@4.0.18)
+      typescript:
+        specifier: 'catalog:'
+        version: 5.9.3
       vite:
         specifier: 'catalog:'
         version: 7.3.1(@types/node@24.12.0)(jiti@2.6.1)(lightningcss@1.31.1)(yaml@2.8.2)