{"_id":"theoremts-ts-plugin","_rev":"33-4fb6d788a5397fcff019175398736c50","name":"theoremts-ts-plugin","dist-tags":{"latest":"0.11.0"},"versions":{"0.1.2":{"name":"theoremts-ts-plugin","version":"0.1.2","license":"MIT","_id":"theoremts-ts-plugin@0.1.2","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"c755db09c51bd91b44c7fff27deb54bd5c6f0483","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.1.2.tgz","fileCount":6,"integrity":"sha512-prTB9kiutMHgo9OVvdWgzA1QR01QgrZi1KhDYduJ7Kjsf3RvwaJ3Dig1nPI570RPBUvsGFa3/vRTvxMtf5k7vA==","signatures":[{"sig":"MEUCIQDR8+2NZaHAESU506Vcr3yIY78xWpOrmJDJc5y7AUPuAAIgK2bA+ATR1hJ3TX9J2Ar0PoX0RNWg2Nrp/o0yiAnOjBs=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"89b2d6113dda05c908f01679dd4d92a6f7e49512","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.1.1"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.1.2_1775961678672_0.38066944193258134","host":"s3://npm-registry-packages-npm-production"}},"0.2.0":{"name":"theoremts-ts-plugin","version":"0.2.0","license":"MIT","_id":"theoremts-ts-plugin@0.2.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"3ba85651431306c4490a1c4efe817818084b7ca7","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.0.tgz","fileCount":6,"integrity":"sha512-E2mWGlEJE9R1uTbZmmH16pgLgdJPJlymfAEcoSy8lwc2X4h3gFXHA+nJ2Mu2SgvN+mUSwdlyxgkPs5UjKmuNzQ==","signatures":[{"sig":"MEUCIDNDKrhIqjQ7EDUInEFCxkucN6WGFaJI5ZP0DBEk5+WuAiEA0XIKL6lIGiTXVEKb1XUD//xlPHbR+apgOKaaVZyPpAQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"0769864675fca09b9e3658d82d840adaf275c74f","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.0_1776102319808_0.9987585937143035","host":"s3://npm-registry-packages-npm-production"}},"0.2.1":{"name":"theoremts-ts-plugin","version":"0.2.1","license":"MIT","_id":"theoremts-ts-plugin@0.2.1","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"22ecfa4d874c15ddbdc0f3943ed58fd8d158f3bf","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.1.tgz","fileCount":6,"integrity":"sha512-kciflH9dMKvoiOJw4l/W3Sa6cV5uQckF99XfKHHZZhg8gnfMQvTPB5OIxlcqmch7CS/1J7OKpEVlrxpOUP0NEA==","signatures":[{"sig":"MEQCIFXXhb5U+dx804D82jvhTwRQkmBIYUOA3zRaA1uYD9BLAiBcdIm+YiI4turdEknwH47F579JLU1eXbZicU/ub4uR6g==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"b89de85c24cc813cd1eda6263d3d98726f539525","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.1"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.1_1776106112060_0.26949857655882914","host":"s3://npm-registry-packages-npm-production"}},"0.2.2":{"name":"theoremts-ts-plugin","version":"0.2.2","license":"MIT","_id":"theoremts-ts-plugin@0.2.2","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"a0dd1e101fbbdf0f70815c4d82ea90028896767d","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.2.tgz","fileCount":6,"integrity":"sha512-hEFXXu5PvYSVMFcv8bqI0yGNFHqz124EMAKJoJjLNtsAszET4XyW1AK6Z6J7dgtzrkU66kIcyl17zpQ4EAqkfg==","signatures":[{"sig":"MEQCIGDX1ANGZplbC9cE+nN84Z/n3B02VwqRnoUzGY0HgRkFAiBLMcV1JXMjq86RriI4uY8GzpiQfvFVOgEQgqdRrPoS0Q==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"592147b7122c8040047678f92a3669b9a9ce2582","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.2"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.2_1776138721033_0.46663827448520667","host":"s3://npm-registry-packages-npm-production"}},"0.2.3":{"name":"theoremts-ts-plugin","version":"0.2.3","license":"MIT","_id":"theoremts-ts-plugin@0.2.3","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"c832601cb6382d254acc2bc7964788b5d20dd322","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.3.tgz","fileCount":6,"integrity":"sha512-qU8G80BWETHAtS8KPgBVWNIw0qC0nxFO6mspdr97JATWV1hev19JvyvA63nCpr3DBrS/rX/pY3F7KzAM7E1Pag==","signatures":[{"sig":"MEUCIFh6PDs/uUeVcJ6cHMTNre5ijw3U6Ts4gGVxpiq1W3uJAiEAyMUmdvxyUXcCJw2sqtYlaCG6N5brbXZsv4QKKuIwDEo=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"91f0270a5b867f9cbfa8d9ca114868087a8a8d38","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.3"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.3_1776139305988_0.2806265834845503","host":"s3://npm-registry-packages-npm-production"}},"0.2.4":{"name":"theoremts-ts-plugin","version":"0.2.4","license":"MIT","_id":"theoremts-ts-plugin@0.2.4","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"df6e51fb47ee4aa1ef200dff2b0720b3966b39c8","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.4.tgz","fileCount":6,"integrity":"sha512-7bJMPA/NgtmU8dUpXzdpC0aPU782mj/NiuKjR1JS53Qnkwe4ktuy6FcsbF9sR2Y3eQXv2k4s0dK+cw6zG4WuMQ==","signatures":[{"sig":"MEQCIBCiFo0jAN2LMPu6cyWV5dkkOasJ7cPNm/xt0lSx/zbcAiASFsDCiUoL+2HOREL9g6gN+6U2thoyozgMPVX4Z5xlLw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"651bcaca6ac2c4a6fee9aa1ba09a7c052d3fb9b0","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.4"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.4_1776183125620_0.24249623652070684","host":"s3://npm-registry-packages-npm-production"}},"0.2.5":{"name":"theoremts-ts-plugin","version":"0.2.5","license":"MIT","_id":"theoremts-ts-plugin@0.2.5","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"085e3a79922bef84acf44c7349c4b902929bd6f1","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.5.tgz","fileCount":6,"integrity":"sha512-vweyYzzEW5fDMLxlaFHzPKlm5tkE5GKGk5fM5b9xWICBmKrkQT1ZueF3LWA6NR40Pz+HaO5tTfSoLJq1dc2QXg==","signatures":[{"sig":"MEQCIEskXe7Ki36jElJhWDrmRSHojecC9gc48cnLujz4WIK4AiBKs8kvSNDoN+1+o0H0Vft2s0A6VBWEw8ux+ePBce5sdw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"fad27dbe84f4c519c4ea173f60a9fef2dcd2fe39","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.5"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.5_1776210177049_0.2698527024111057","host":"s3://npm-registry-packages-npm-production"}},"0.2.6":{"name":"theoremts-ts-plugin","version":"0.2.6","license":"MIT","_id":"theoremts-ts-plugin@0.2.6","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"d7b169cabbe4be4e24711316ed64207d1b69e88d","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.6.tgz","fileCount":6,"integrity":"sha512-jwVAprtIzJ4/wgsdz+3S/+cG3hgbYzeSvO+lkPXGeLOZQVyqQ+bN3XAzEDnf73FSpL5SMbl3uHHww6bsfeJSuA==","signatures":[{"sig":"MEYCIQC4DrxrNWIMgYHM6sn5lmkg9PI+NGelMbLHQBG7PeUVoQIhAJ7CYm5Gi8C0HTLTsIkPdLe9QZHDgk0krRs3a1NaKkdf","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":28542},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"78028edc58f1400e44e3ac0580f608176ff9c378","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.6"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.6_1776210633376_0.016851146782997928","host":"s3://npm-registry-packages-npm-production"}},"0.2.7":{"name":"theoremts-ts-plugin","version":"0.2.7","license":"MIT","_id":"theoremts-ts-plugin@0.2.7","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"51d71bae8784e52446d625a6dde10000b66cfcad","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.7.tgz","fileCount":6,"integrity":"sha512-BTjhsPxC3guRlU4oy5C6QNepjZtNWBVcj8Vrx1heCdbpIc8Pcu7v00J98cWM+MhZOYZQWwVwvXRB1wwgi6O5pA==","signatures":[{"sig":"MEQCIHbTUIG5k9bDbUID3ORtbQwq9qCBr2Ji8qPShRzrjemvAiAGSxPtvBdLqf3pg+kOVn0YrBUAur2CkCuGO15fK640lQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":29707},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"c776f1b51293454eb6c8199fb0bb55a6f063a8a3","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.7"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.7_1776222395597_0.8749532696032232","host":"s3://npm-registry-packages-npm-production"}},"0.2.8":{"name":"theoremts-ts-plugin","version":"0.2.8","license":"MIT","_id":"theoremts-ts-plugin@0.2.8","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"5fc17fb9820b7bb611a17820b8bddfd2e371b50c","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.8.tgz","fileCount":6,"integrity":"sha512-cJX62VUz5fkFJQtWCO+uqR2iCvrQAj/K+7jrn1PyLYenDtpzlOIoFKmo99tVXb21h4ikLjOskbEz3Wj1fcVjVQ==","signatures":[{"sig":"MEUCICYLk83skr6+69ogzUK1NlmNB++7AyW/fl2Pjs1oUf/TAiEAxYfk8nV7MKHDXLrNSqUrJADJTg54/LgDy2uZDWOvPZA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":27806},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"c694c4c8a1a413f99ac38e1c40a1a5463d194e29","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.8"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.8_1776223078802_0.5931551621210303","host":"s3://npm-registry-packages-npm-production"}},"0.2.9":{"name":"theoremts-ts-plugin","version":"0.2.9","license":"MIT","_id":"theoremts-ts-plugin@0.2.9","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"2522b989b1a57334903102b05af3d7d6eb1b252b","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.2.9.tgz","fileCount":6,"integrity":"sha512-r6hxFgrQhFvct/a9JY+W3119c+fPFoNjkTaL7ClsUBFXq5xzYxMq+VuhjebztlTq5Qkt8P7JkC06kvwWC4+HZA==","signatures":[{"sig":"MEUCIQDqm/ApWEUzDqpLKY6u+8GQCHsdcVlsq58R6oTEB2lQ9wIgYxvfi7RfRzO+IElmcINCja4P6+LTjEmK1qCHCjjJ2cM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":27806},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"a63c3efda6580b0ff4f5a040844ee312d3fe6592","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.2.9"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.2.9_1776223411331_0.6311466887690071","host":"s3://npm-registry-packages-npm-production"}},"0.3.0":{"name":"theoremts-ts-plugin","version":"0.3.0","license":"MIT","_id":"theoremts-ts-plugin@0.3.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"da00e08d41bd5fbf636191425db6fab8a3f17997","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.3.0.tgz","fileCount":6,"integrity":"sha512-eLWo/CeAH5xZZx9lD0nmUlrJV7uywwmSS5L9iFAjef/9BchLZH+aecZhr99W5F6hrNDJY8iebci45HHI0z6YWg==","signatures":[{"sig":"MEUCIH9C1oalQAWpU6zdQKz1vJT0l5aiK6CCP4IUe24kBMYKAiEAi2wMPxxrtwnDFr/+jKgUCy6I61D7dvPSVNUJ4jBOLUs=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":27806},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"23c5bfa3db8ccaed2fe52a933ddbe698387e3758","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.3.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.3.0_1776225071287_0.1441671455509641","host":"s3://npm-registry-packages-npm-production"}},"0.3.1":{"name":"theoremts-ts-plugin","version":"0.3.1","license":"MIT","_id":"theoremts-ts-plugin@0.3.1","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"f576d694666dacd3877c44d6d408bec3a552cc5f","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.3.1.tgz","fileCount":6,"integrity":"sha512-N1W/YfMQbdUU+uYeYmFOgMEJuHyhBPZ9Ud+MYzS1l9p/Q0bsIxiF9HYMQkMkJf0Dq2xvEUpvpiz1s2WVU8Zo9w==","signatures":[{"sig":"MEUCIBfF2dK4mfbI6qBmRrSpA222FG6HLE4FZ258zo44O4LdAiEAhJnwTjD9r5OWeY4Kh6SwJk6RrSOmeY4pof+LLTvnIC8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":27806},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"002ab487964ad793dc8f7c9fd08ff384e5f2ff26","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.3.1"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.3.1_1776225720421_0.9545279270081919","host":"s3://npm-registry-packages-npm-production"}},"0.3.2":{"name":"theoremts-ts-plugin","version":"0.3.2","license":"MIT","_id":"theoremts-ts-plugin@0.3.2","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"6b11802d8eb82e11935897cc119c13f0d4844629","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.3.2.tgz","fileCount":6,"integrity":"sha512-8YUQoLJlF6aUvNlprvPWJNkriPn15zObOyoKzNXJWnR9TcA1xWM2RJG9R5dcc678xQ7JQ4p3FSi8EpiQAZ+vDg==","signatures":[{"sig":"MEYCIQCYLLKyOrbh6iMcth+F9IW3GqHZXrYNrX8ahqKIIkv1pAIhAO/awraRujfiMFoO/lxVsLuh1ySa/PHjGU/JBtKTaLPL","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":32246},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"7ad183601fc28bb4c872a7e975edac360a233e34","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.12.0","dependencies":{"@theoremts/core":"0.3.2"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.3.2_1776226126796_0.5858529605530716","host":"s3://npm-registry-packages-npm-production"}},"0.6.0":{"name":"theoremts-ts-plugin","version":"0.6.0","license":"MIT","_id":"theoremts-ts-plugin@0.6.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"9f9359df6285a0c5e59a785ebb505c652255de03","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.6.0.tgz","fileCount":10,"integrity":"sha512-kv8/2tfG+nWyuABETdk0ec9icF+in/71YsZYMVABN56YJ+pTI2GaUJ9Q9IaRQzro7/gQRWZ68xGL3U2vX3kHZg==","signatures":[{"sig":"MEQCIA89RR0LPl9bPoYGEdnsxsDvTdwOQqwCSVy8jkezUMqxAiApVMMaqx8kt4JlzZP9Wbm+kMJlOPAHUIx5cDh1Y26lMA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":38505},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"acd0ccaa905128b1748b9d2e183775edc13d4e15","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.6.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.6.0_1786637337349_0.12299736107716663","host":"s3://npm-registry-packages-npm-production"}},"0.7.0":{"name":"theoremts-ts-plugin","version":"0.7.0","license":"MIT","_id":"theoremts-ts-plugin@0.7.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"b22481a141a428a659f851ad37072f41012b511c","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.7.0.tgz","fileCount":10,"integrity":"sha512-eZCelRh2Zn1g/RxrsC9PqvqKoLbtmNcl0maD5Xi3FJI6AqDD08UoBIoQs0q9do3KWS4IfxdTEQqyajbXNqeBOQ==","signatures":[{"sig":"MEUCIQDCkPaTIDQZhiq120ORmcoz7jMiPE5keGpyn+b6Vmo/zgIgcaHteck1eAKC5XgNpSoNBRsIic4OBseVX1Ho06Iw54w=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":38505},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"832be9ce0169597847ca0bfc7b6ea28eacaa01e2","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.7.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.7.0_1786725660567_0.9969936144932006","host":"s3://npm-registry-packages-npm-production"}},"0.8.0":{"name":"theoremts-ts-plugin","version":"0.8.0","license":"MIT","_id":"theoremts-ts-plugin@0.8.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"c6ab2fb263af4da19aeed1f8bd7edff238c32300","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.0.tgz","fileCount":10,"integrity":"sha512-rCkA9e+izlnx9UK17H1PXhtDtSK0qihCU6pE/CiJt2PI7olM7CaBBo+5YlYUC/I0pjdFsCU0xPLtMLITtvMoXQ==","signatures":[{"sig":"MEUCIQCuBCsLKjaZ4W5mr75L4jDg/HoFUPhh4fQuFp0YFPh5kgIgSaSt3q7u6LXwkbHysSR6eFdu8pYeE+QL6L0JGOaS6ro=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":51715},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"f223304265e6377db69854f6bf51a021aa3837b2","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.0_1786763126030_0.226815146204433","host":"s3://npm-registry-packages-npm-production"}},"0.8.1":{"name":"theoremts-ts-plugin","version":"0.8.1","license":"MIT","_id":"theoremts-ts-plugin@0.8.1","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"f2fe98c31ea5df1d77d9edd802c4d0632ffb63f5","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.1.tgz","fileCount":10,"integrity":"sha512-kbep7QU5BTtiQBydQrw7XIGWiQAOivQj54Rfp0Szjd/4ig5QH1lkdzHxblF2KT67csSQGcM1C0Q4JIQh5upgNw==","signatures":[{"sig":"MEYCIQDWs+X2ZeojmZRYmCbbowxqMdk+jswkcATdNSWHzJ1zpQIhAPWNLzSq7u5ozyHaPlUdfC+wvauw6CJbirq/lYghvOC0","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"ee1589db467c77e80b38568d771df765b44b8ba5","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.1"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.1_1786826696150_0.7991436971423056","host":"s3://npm-registry-packages-npm-production"}},"0.8.2":{"name":"theoremts-ts-plugin","version":"0.8.2","license":"MIT","_id":"theoremts-ts-plugin@0.8.2","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"c11d1241bec6fa6f25f4ac0c3e38bcea64670d50","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.2.tgz","fileCount":10,"integrity":"sha512-iJcWLxzXkh+wOUFDvDs6qBaNWikkIxTKccJnvtUsdcnBREPi2BD7jYrztq8KCCJFLaEUBBsV5hZH9vcgFoAxow==","signatures":[{"sig":"MEQCIAzXjVTADF6S4R+xAm6aqx4Xtvu6lN+yrw4aXJVje+eEAiBEZ4/5ZcikypWZJiFCx68Zpwe8cIkUJGlPcLxbfXX6TA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"b95e907ff517ca619279b768df83e1791331ce9a","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.2"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.2_1786930504915_0.7228427647436471","host":"s3://npm-registry-packages-npm-production"}},"0.8.3":{"name":"theoremts-ts-plugin","version":"0.8.3","license":"MIT","_id":"theoremts-ts-plugin@0.8.3","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"7c4dbd226ead013b3287e7a7aa80a5ed9e376b3a","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.3.tgz","fileCount":10,"integrity":"sha512-Zd6GR1dmOXn0QsTfT4TFvRZYiHZ/4/dkIgIq5QOzdfUnKZsNDF7rPqSlyQ4m5IWIrcRIj0Xnw5s1ivkwiqaKrA==","signatures":[{"sig":"MEUCIQDlobqst9bYdLMADh5mrhXD9YdTUwKZKEnK4nz936t7AAIgShwH37VWsKIFSuLPcMKTJis/gnhfucKTc64HXDCFLYs=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"88691406ae521590b7022a398c8a1c03c63e7037","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.3"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.3_1786934311649_0.03180658161125338","host":"s3://npm-registry-packages-npm-production"}},"0.8.4":{"name":"theoremts-ts-plugin","version":"0.8.4","license":"MIT","_id":"theoremts-ts-plugin@0.8.4","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"df11bf8b6c1f80d7ce11206b65c353b2d2c49f25","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.4.tgz","fileCount":10,"integrity":"sha512-xN7cWNBZMYXMpp2otjUkR45zfUZuU667YiGQppU0X2nYIqyepdWjcRRabE9rNqkeg9WLvaqkqerXRmpzbSQb5w==","signatures":[{"sig":"MEUCIQCA+EjK8W4AbS+HIbH4ZXZC1BKJRoFtAyn9tn8har1HzwIgGYGjyqcCepTydIEY6IimmldfRX9pEMv8zQWJvdFSkL8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"8f860fcded94f0b7a853be6f03095ba498d827d3","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.4"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.4_1786936585679_0.7010931018716109","host":"s3://npm-registry-packages-npm-production"}},"0.8.5":{"name":"theoremts-ts-plugin","version":"0.8.5","license":"MIT","_id":"theoremts-ts-plugin@0.8.5","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"6363f27124716ab0fbde797c45501986be25712c","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.5.tgz","fileCount":10,"integrity":"sha512-P1XGYMTslT6Y0CnYuSG2Wpvn9JQDp/IjZCziztWg9wt4v+WxHfz7t4op4ym2As07B3I1CNeBZVguURMmr95iIQ==","signatures":[{"sig":"MEYCIQC3mel9B8P5WWniW/TbdwbCMkIap23h+PnO5GRwFvNaUwIhAIs7r8VFBun+C84fAaFUol/Xsj4BZ6Za1ezytgxYOXz+","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"4d72374962ba5ab4c4ee1736ef32ea24f2ff52b1","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.5"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.5_1786939616361_0.9279284822335854","host":"s3://npm-registry-packages-npm-production"}},"0.8.6":{"name":"theoremts-ts-plugin","version":"0.8.6","license":"MIT","_id":"theoremts-ts-plugin@0.8.6","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"095d442eb175bb2976ca9569d6b8f90c7653038c","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.6.tgz","fileCount":10,"integrity":"sha512-t2St0fEbQBbuQsLYS3LrTbwlXnjRH1mL4N0nO5eDI/HayE9E+CsvZ0UOepITTXgPvQxdKPmqLoIVD3ug7f5Iug==","signatures":[{"sig":"MEQCIAor+HIvxGCAUZBFNWUeanTG7bl8b66stiX6eSfiw4j7AiBQOl3T+xxbL9JzfO5lIOj+rsLFqguWC3xMy9/d7yZptA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"7883d73b8d88f9f905e552b48bb51ce0f363b70a","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.6"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.6_1786940834267_0.27042741539085213","host":"s3://npm-registry-packages-npm-production"}},"0.8.7":{"name":"theoremts-ts-plugin","version":"0.8.7","license":"MIT","_id":"theoremts-ts-plugin@0.8.7","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"6214c853835588eae827a08d3182221143a270fd","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.7.tgz","fileCount":10,"integrity":"sha512-tEdrPsUjrbluocLn9BDR5DGb5vt6BrmI1vkhsgwd/tFHyGpRdLBfFdh4CstLYVeozSQSUqDhBBUcJ1kAROukAQ==","signatures":[{"sig":"MEQCIAScAsqleiStmuZYDtvi4OgRnK0m32pjzpW1sYW/wa+pAiBv6Ok8vWD1EsLKiIigKhRVFe36jus7JcyK5+Pt2nfxeg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"96ea1539ab0f25f7d6ed71f1ed3cba4cca8ef2b4","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.7"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.7_1786984272557_0.6418144427777002","host":"s3://npm-registry-packages-npm-production"}},"0.8.8":{"name":"theoremts-ts-plugin","version":"0.8.8","license":"MIT","_id":"theoremts-ts-plugin@0.8.8","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"487961e10d8e21c894e00dbe011eefa3d24fb588","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.8.8.tgz","fileCount":10,"integrity":"sha512-9xL1xSTDGyzBBBCq53CRSk8AR42WfHPrJvRh5ZEohDiHocjyFUvqN+3UZu2ZANgIhYbl28jUbGzA4fiSZQ4oMA==","signatures":[{"sig":"MEUCIDxK034EvZd6UntEzKDy0tmLFXsyWnnC+S3ElCam8HRuAiEAxSnyn7sZVN+Xb3NIAeUHY8wZyBJ9BT8LSSdsm4NOB0s=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"94a810a13c846e497afdaf18a782579e0463d781","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.8.8"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.8.8_1786987971833_0.7924549421672411","host":"s3://npm-registry-packages-npm-production"}},"0.9.0":{"name":"theoremts-ts-plugin","version":"0.9.0","license":"MIT","_id":"theoremts-ts-plugin@0.9.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"8035ec80ad9994bf05e97269ef49ea1b0a3ca9f0","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.9.0.tgz","fileCount":10,"integrity":"sha512-LzJJ+bTnaysR9x4Yr3PExCSBGQbSQnQmE9gkjfb7DfYZSTJt88zwLORXT3banL1LFalPv+OFtx3ZWEry7gVmMw==","signatures":[{"sig":"MEUCIG1ftP73mwTVlk1ZMIAnMKdsC9DhjRcyIIGKUkrbdgWgAiEAhvsLLS49VvUjQkS7ifPWGDZivka4x7jgcThce7GEDXM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"4f7908e7328b8a639d93f9565c84afcff07cadf4","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.9.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.9.0_1786994465974_0.21741733355713166","host":"s3://npm-registry-packages-npm-production"}},"0.9.1":{"name":"theoremts-ts-plugin","version":"0.9.1","license":"MIT","_id":"theoremts-ts-plugin@0.9.1","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"adf0150ef8faa7edde23e2b039643494434b76c7","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.9.1.tgz","fileCount":10,"integrity":"sha512-aYmL/yIoHuMwa20eWKJm+K3EOK6FfFAHIVS4haexuvonSYOHjaudPWc4gYg5C4lKoQiYN4OOauXQcdZju1Roxg==","signatures":[{"sig":"MEQCIDoaz6eYrtDPhN90HBg93MHiH5fly7aBLUkgSIFv0Kt9AiBlfyOTNREeuRyArqyO3Eu6QvelJWb7FGc/B4+V7lJXAw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"308e90e8f54d14ed8f39d031842ecd5d849c0d47","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.9.1"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.9.1_1787113610801_0.0861492738781966","host":"s3://npm-registry-packages-npm-production"}},"0.9.2":{"name":"theoremts-ts-plugin","version":"0.9.2","license":"MIT","_id":"theoremts-ts-plugin@0.9.2","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"4dbfcb180738110e7f7e3c79cd38d5b2b4e925d3","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.9.2.tgz","fileCount":10,"integrity":"sha512-urGUsvfn11m7lsFZhq6Hxahsk8IoHXUBFKgizQhCtIIgyEUnzOVQfNvMg5mknYFf4lWBoBMeUMQqGcRIPAVSQg==","signatures":[{"sig":"MEUCIAyEHh0gGowrttaqP/640qHybZDEwBV4xY9imzGI8hZHAiEAqMhSX2MACWjJ06bFr0E8jDY+7kNmRKvYJ5FjPup5+RI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55813},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"fdef992f7bd7232d45e74382796ece77713a5bca","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.9.2"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.9.2_1787335135052_0.5213998841343901","host":"s3://npm-registry-packages-npm-production"}},"0.10.0":{"name":"theoremts-ts-plugin","version":"0.10.0","license":"MIT","_id":"theoremts-ts-plugin@0.10.0","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"homepage":"https://github.com/theoremts/theorem#readme","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"dist":{"shasum":"a1b2813dff9927c8a0b5ee2998eda1cfc349f57c","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.10.0.tgz","fileCount":10,"integrity":"sha512-TgecpSPtRlrvwoi3w6AljMFhTrplHux5vpq0ohuX/JGiZ4WbxNMM30IDRPuQRfnUn0SRYanafqb/UrK6mXEdQw==","signatures":[{"sig":"MEUCIQCJkNTyCqTqL8WRCbk2RkBuF2/6ZZM5e5SJlfQXBoT5ewIgdPmU9TGegyZSWsMkzqKQi3hdOI+wGkL/6SPFutID/HA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":55815},"main":"./dist/index.js","types":"./dist/index.d.ts","gitHead":"7471cba34f11bda889f2adae5a800f6a84a93535","scripts":{"dev":"tsc --project tsconfig.json --watch","build":"tsc --project tsconfig.json","clean":"rm -rf dist *.tsbuildinfo","typecheck":"tsc --project tsconfig.json --noEmit"},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"repository":{"url":"git+https://github.com/theoremts/theorem.git","type":"git"},"_npmVersion":"10.9.8","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","directories":{},"_nodeVersion":"22.23.2","dependencies":{"@theoremts/core":"0.10.0"},"_hasShrinkwrap":false,"devDependencies":{"typescript":"*","@types/node":"*"},"_npmOperationalInternal":{"tmp":"tmp/theoremts-ts-plugin_0.10.0_1787372606657_0.2863723527930844","host":"s3://npm-registry-packages-npm-production"}},"0.11.0":{"name":"theoremts-ts-plugin","version":"0.11.0","description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","license":"MIT","main":"./dist/index.js","types":"./dist/index.d.ts","repository":{"type":"git","url":"git+https://github.com/theoremts/theorem.git"},"scripts":{"build":"tsc --project tsconfig.json","dev":"tsc --project tsconfig.json --watch","typecheck":"tsc --project tsconfig.json --noEmit","clean":"rm -rf dist *.tsbuildinfo"},"dependencies":{"@theoremts/core":"0.11.0"},"devDependencies":{"typescript":"*","@types/node":"*"},"_id":"theoremts-ts-plugin@0.11.0","gitHead":"0551ca3ab853823b2c6235e82d3303a0595ea242","bugs":{"url":"https://github.com/theoremts/theorem/issues"},"homepage":"https://github.com/theoremts/theorem#readme","_nodeVersion":"22.23.2","_npmVersion":"10.9.8","dist":{"integrity":"sha512-mz5dvrL8Ngrv4k5fKkXlvwnJO6PTufqzwSK8cvrYB9hbirqyJmRVyxPJfdWXlvYJWv1YY8Sy0eYO2aRTn3uhxA==","shasum":"2c2a513e70e2cd86ef63cb94abbc1aa7ed6af50b","tarball":"https://registry.npmjs.org/theoremts-ts-plugin/-/theoremts-ts-plugin-0.11.0.tgz","fileCount":10,"unpackedSize":55815,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEUCIE/mV5rDeYlGVh05xPyJ90Gz2phB+QbSRZpZTtuuaI28AiEAuOP+phAP8m0gBJG5o6JWDavaFVl07ZAZm56wL7B2CDo="}]},"_npmUser":{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"},"directories":{},"maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/theoremts-ts-plugin_0.11.0_1787675259825_0.3542338417980726"},"_hasShrinkwrap":false}},"time":{"created":"2026-04-12T02:41:18.671Z","modified":"2026-08-25T16:27:40.185Z","0.1.0":"2026-04-10T18:30:15.396Z","0.1.1":"2026-04-10T18:35:31.655Z","0.1.2":"2026-04-12T02:41:18.799Z","0.2.0":"2026-04-13T17:45:19.930Z","0.2.1":"2026-04-13T18:48:32.187Z","0.2.2":"2026-04-14T03:52:01.276Z","0.2.3":"2026-04-14T04:01:46.137Z","0.2.4":"2026-04-14T16:12:05.807Z","0.2.5":"2026-04-14T23:42:57.193Z","0.2.6":"2026-04-14T23:50:33.533Z","0.2.7":"2026-04-15T03:06:35.736Z","0.2.8":"2026-04-15T03:17:58.948Z","0.2.9":"2026-04-15T03:23:31.522Z","0.3.0":"2026-04-15T03:51:11.429Z","0.3.1":"2026-04-15T04:02:00.542Z","0.3.2":"2026-04-15T04:08:46.947Z","0.6.0":"2026-08-13T16:08:57.492Z","0.7.0":"2026-08-14T16:41:00.702Z","0.8.0":"2026-08-15T03:05:26.176Z","0.8.1":"2026-08-15T20:44:56.309Z","0.8.2":"2026-08-17T01:35:05.051Z","0.8.3":"2026-08-17T02:38:31.797Z","0.8.4":"2026-08-17T03:16:25.825Z","0.8.5":"2026-08-17T04:06:56.508Z","0.8.6":"2026-08-17T04:27:14.404Z","0.8.7":"2026-08-17T16:31:12.717Z","0.8.8":"2026-08-17T17:32:51.985Z","0.9.0":"2026-08-17T19:21:06.111Z","0.9.1":"2026-08-19T04:26:50.950Z","0.9.2":"2026-08-21T17:58:55.188Z","0.10.0":"2026-08-22T04:23:26.841Z","0.11.0":"2026-08-25T16:27:39.989Z"},"bugs":{"url":"https://github.com/theoremts/theorem/issues"},"license":"MIT","homepage":"https://github.com/theoremts/theorem#readme","repository":{"type":"git","url":"git+https://github.com/theoremts/theorem.git"},"description":"TypeScript Language Service Plugin for Theorem — inline verification in VS Code","maintainers":[{"name":"tiagoschmitt","email":"tiago.schmitt@gmail.com"}],"readme":"# theoremts-ts-plugin\n\nTypeScript Language Service Plugin for [Theorem](https://github.com/theoremts/theorem) — shows verification results inline in VS Code.\n\n```bash\nnpm install -D theoremts-ts-plugin\n```\n\n```json\n// tsconfig.json\n{ \"compilerOptions\": { \"plugins\": [{ \"name\": \"theoremts-ts-plugin\" }] } }\n```\n\nShows contract violations as squiggly lines, hover tooltips, and Problems panel entries.\n","readmeFilename":"README.md"}