{"_id":"@leanspec/mcp","_rev":"122-b7fff44b1d078fc2ba963199169d2b3e","name":"@leanspec/mcp","dist-tags":{"dev":"0.2.28-dev.23044283727","latest":"0.3.0"},"versions":{"0.2.4":{"name":"@leanspec/mcp","version":"0.2.4","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.4","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"leanspec-mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"e9a60235a5600c75ab9f6a78bfc9502cd2668dca","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.4.tgz","fileCount":4,"integrity":"sha512-G/v0rlG14TAO0e+3ZsOEv5htlY/ZAGi7s9E6z6zQ413Obg/bBkGsUD1F42sPM0B+4xjff3o2obgMlOs8ZyA+yQ==","signatures":[{"sig":"MEUCIQC58eEtjXk1/rY2PV8R5wj7rFY6KvtlcAMSktqpX3ODJwIgQHj7g7RG+4j083dLhtdB181osa8Kjpns6CvG/TGGyl0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5889},"type":"module","engines":{"node":">=20"},"gitHead":"5ad6dd31f6b991f1f09e9b79e022b7fb2d0389b4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.9.3","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.18.0","dependencies":{"lean-spec":"^0.2.4"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.4_1763446511695_0.051013615010061075","host":"s3://npm-registry-packages-npm-production"}},"0.2.5":{"name":"@leanspec/mcp","version":"0.2.5","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"d5a90b9b827e6b744bb54b727479ad3c422c18bd","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5.tgz","fileCount":4,"integrity":"sha512-wXIjgQKPGO4Fdiq+jAL6EJOalH6Maxun5xbGEB7OKWYvtnSelSCipZoI/USwlG//eLKMRtJF14eCSiHzOEy8Lg==","signatures":[{"sig":"MEUCIQDNs1HJb7RSokDeneBF2A8cCijfPKVBP7r18bTCaKVfVwIgEFK2+ksIrq5SwUEr11j1Sq05KNZtFt40/N0iAH8Ic1M=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5863},"type":"module","engines":{"node":">=20"},"gitHead":"5ad6dd31f6b991f1f09e9b79e022b7fb2d0389b4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.9.3","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.18.0","dependencies":{"lean-spec":"^0.2.4"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5_1763446615826_0.20977718497447762","host":"s3://npm-registry-packages-npm-production"}},"0.2.4-dev.20251118080109":{"name":"@leanspec/mcp","version":"0.2.4-dev.20251118080109","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.4-dev.20251118080109","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"42bee83f45ed81853ee5297be6c3126d63045724","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.4-dev.20251118080109.tgz","fileCount":4,"integrity":"sha512-7FzF7nc5UBKOgoHnbEo13Q0g5zjALg+28ZxRHpp7wRIEOitgdYn3GDbcUz8KN+9sIfpNIhM/h8UzuWAG9YOAXA==","signatures":[{"sig":"MEYCIQD5pqJNzfaSUPhQRGD94dZZVefghM/dvqmzJ56tEkqw4wIhAJHS3MD5pymFVQquEM6hmQSOTFN5r0PtWOHxeLOeSVUX","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.4-dev.20251118080109","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5882},"type":"module","engines":{"node":">=20"},"gitHead":"e11c2ade73027cf64ceb48739208218e4880d3c0","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"^0.2.4"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.4-dev.20251118080109_1763452921424_0.3529812545746298","host":"s3://npm-registry-packages-npm-production"}},"0.2.4-dev.20251118091714":{"name":"@leanspec/mcp","version":"0.2.4-dev.20251118091714","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.4-dev.20251118091714","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"59084f3713e703b3a9bbef9deefb717e1cc76a25","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.4-dev.20251118091714.tgz","fileCount":4,"integrity":"sha512-mHaKad5V0xIQDIfzDAf3jmh1/NxBs3kl5xjZTvPjx5QxRsxgKvCGdxHy4Jb4KdurT/u+L49MewH9e+T8p47Zpg==","signatures":[{"sig":"MEYCIQDKifWc76KZQpUp/6gsJLIIomo8y+mRiBBDkF0J1Id4KgIhAIBFQ16hvEykWxxIC36pH1GOmmr0VvbBrWFh5dSenryY","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.4-dev.20251118091714","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5882},"type":"module","engines":{"node":">=20"},"gitHead":"e2c46074f15357b07c5530e884bbb4177a3290ab","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"^0.2.4"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.4-dev.20251118091714_1763457488765_0.3813472698045579","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251118134144":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251118134144","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251118134144","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"3022d95b01dfd8e75b1f575e775f43927c5e04a1","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251118134144.tgz","fileCount":4,"integrity":"sha512-7GGivas3PNA40oCjzk7OKteFzazlpgWzaBE1jnjLDh/6raFftmKCC4wRyw3Y9Mj6rluvetF+8rdebQ6bfYVY2A==","signatures":[{"sig":"MEUCIDFPyh0h41yypICr2/j6mrrElKNpuR2hWZetpcG/IZzbAiEAsvBez/ioB1IbLhK2QX1G2YVZOstSzsCGWVsm0/MqNks=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251118134144","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"96fdc6f3db52891996da6bb999160cc57a4a8c15","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251118134144_1763473377611_0.7694731903037282","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251118143726":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251118143726","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251118143726","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c2291fd72f14284cb22fcfb2a7e29a417cb163ab","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251118143726.tgz","fileCount":4,"integrity":"sha512-gpDGhqX+nrfE8BU9fwq0xqrabugR/YGnig9M4Fu81VEa3UE7ZJ4L9E+UGqDZR7cCJpL+R71yAaQqx2X15j5RwA==","signatures":[{"sig":"MEUCIFN9ktG/tMFdAlGrmR5LzvbpLY5K0eByG8Ec5BxEhUZWAiEAo3bL5/KhIFKJnW7v+53cBUbFQxDFO07lf6ZlhIUJxpU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251118143726","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"f0db683f6e35debfcf1ccba9297000e39c9493c8","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251118143726_1763476718205_0.44634514810951775","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251118144146":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251118144146","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251118144146","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"ae0789ab0cac3d51ad2bd16662936241c5c6d4bc","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251118144146.tgz","fileCount":4,"integrity":"sha512-gbwNA8vifoUkRBKe6UTuDGc/hMBZ5sK5OyIRhnySviOjSuOBXnF/IxOLmha+MIWFDGAbMQDZYv+InfMjSeMXUg==","signatures":[{"sig":"MEYCIQDIiTwS5HeBGv3z5/qmx5W2MiHLdryFzSYp8zB1mvdumgIhAIGakzJw94Z3BgDOJqk1YGFCIdhV37jrpOzaRnvk9ppK","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251118144146","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"47eb50a204f65ccea1063d5358e7b462a53bb2d1","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251118144146_1763476980344_0.28438689881354007","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251118144856":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251118144856","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251118144856","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"440f8631742109eee0672b78b3fbce81fb2bcf81","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251118144856.tgz","fileCount":4,"integrity":"sha512-hvYgCYjckLPkcNtOv9WZbQNIHYtuLjIYiON5hPC1lLJRkDsTJVLooQQ6e44KbwzBm184OfCr2w9iaezKjTF0Qg==","signatures":[{"sig":"MEUCIQCuSu+UIhQ/9qovVWhSLPDYZIMNBN6MpWZlOz806eUV6wIgOFp0/LqpvXCJxlIUxibm+6vKEtatFimF3wcDiOMbZ0c=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251118144856","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"4e2ed925a8ea8a3b999c6cb108c4e60643f1e4e4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251118144856_1763477409462_0.8216453008914888","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251119010817":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251119010817","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251119010817","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6261246d1fa23f71ea062334a4b51b59e38f82e3","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251119010817.tgz","fileCount":4,"integrity":"sha512-KOwsHZMXJtCF+ocCO6m9vOo3dwV4MMHCKEMM6xO7W4IbcOxgkA7Kj8PO28/5VAWrlfMfSRg7fhuwENkPWlDKeg==","signatures":[{"sig":"MEYCIQDXi/EFuWxFFHuFWza2nhceQexe4RMM+5XbByACex6/cgIhAKnQ5X6HFoXhMNak51Y/JJMBncyuoeQ/PzwLts7wccz7","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251119010817","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"76130b8752b7242c11cfa23f5f5f2cbe4138a6ad","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251119010817_1763514572142_0.37029875921894817","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251119014122":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251119014122","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251119014122","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6635c13702fc3f4f4051f1938fb7767ccc221e2d","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251119014122.tgz","fileCount":4,"integrity":"sha512-WiXDrLaHaHX5GQU/+qd6JQZQU1+AHRbXWTkehql+7hPZRZ9DQ/M+WPDU1Xx0AjbZJUzZCK4tDdvF7t9rgJxZ9w==","signatures":[{"sig":"MEYCIQD/uPW+4kBkF6Zc79ofECeaG63caSys90xwLy0NbZMVzwIhAPEVg3eie8DdyCi4Otc6Z6mb4lLptj0jcmlAB2cuvPjH","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251119014122","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"41b30ada53124ecb0acf8b86eeff284039c3451e","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251119014122_1763516559655_0.9428326162157934","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251119022856":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251119022856","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251119022856","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"75aac860c7ba054883b2d40224f46819da16f008","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251119022856.tgz","fileCount":4,"integrity":"sha512-higwzN7hZHt5ls7aAG/RMBCwAtO/S80QioRU9yOCi9+H2b63D1dBK1EYQ6oCfMVIFixhaLAuYo9YfCgTQ15ngw==","signatures":[{"sig":"MEYCIQDWo4rRAQdshBNxeOmzAE+TMWnhfqyPqS3qjEauN5+mEAIhAMeqn4lusWuhQL5O69gSZDhYugvSLvrqFC8Cdjb+3/Yj","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251119022856","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"94ef73bb02724ff1e8b741c3f1bc157997866d64","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251119022856_1763519411539_0.5276297032637565","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251119025751":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251119025751","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251119025751","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6da118af6b7b0e993e4334cbe18283f91cd3615f","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251119025751.tgz","fileCount":4,"integrity":"sha512-IW7klNJOenWTaw0ADl+5urGbUfPeW/cnD8C0ZnjvQx9S3JCoZDeoQGO+BBu8zIvNlq0/KFidh5X+GIZn/DlAGg==","signatures":[{"sig":"MEYCIQC9SLuHdk25vJcTpZeqZ5m3QCL2kAaOsXDNaTwRlICjBwIhAL62alsQp6ZelqRnAB+nKdUX1MrBEZJcQFs0u2B3Kp7x","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251119025751","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"62b38bfb7c5579a511c44a0f3de518b1ae345852","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251119025751_1763521146645_0.4157786417799847","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251119032109":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251119032109","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251119032109","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"e278cf473f00e34de7cc47ced7f016dd230f0d20","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251119032109.tgz","fileCount":4,"integrity":"sha512-QlUOwQSJaVOWM/yLMz8zX9uXoyoAbbyED4gdbKZyesF2TreEpvf+OKFecc9dKi3esWL9ZKQmJRUg+twnG7+J6g==","signatures":[{"sig":"MEUCICmwSBNuz3is3rho0qVKJnxF8QoL8IMJgZehPHUDECVHAiEAyxIF1m9nr/cq24YBoBiNu8mk8Cmo6t1uMqPpPlk6t84=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251119032109","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"f5d9e80b54b811c820a0aa36f7b6bdec7c7405f8","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251119032109_1763522543264_0.875770826750476","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251119062438":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251119062438","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251119062438","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"ef003112a1c0b974181c5fa43fc2b9838c6c9d93","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251119062438.tgz","fileCount":4,"integrity":"sha512-NNJFAesqDhuEO49Onq7PIb7z+KyzQ/jVcmpp+pBg5e1HgFgAY7QaRu32c0WNWN0Pw9c9zMOW1ihTYDjGtI9xTg==","signatures":[{"sig":"MEYCIQCNzDwezeMNLWOpWavS5MbFKOc8tOUdgDp49P3XX8mXOgIhAJnLh99dSQig6LYiU890BWpxOoTUqDKZtKf82/mqnQJC","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251119062438","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"8a09e2817829486c07ebcdd06fb3e05a81a1078e","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251119062438_1763533552174_0.9369242921799152","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120015656":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120015656","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120015656","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"a3acb08441d4d4183fe2fdeeef92ab0bd765a3b9","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120015656.tgz","fileCount":4,"integrity":"sha512-WyzMl1A1zCpxagWeGQEX6s/ViUZD8Fep3TsnjWnhgi75wIQBR1dp0ZFPHQkIjAWSzNBCR63soCH9aRrth+a1iw==","signatures":[{"sig":"MEQCIBI+jV/8l4ywwoEYg61ADxHUjn1JV1hNKEb8lbvQN622AiBeFFyFn4md8MLoKzEaO/wceEQGLDo21IZB7Mmrr2gToA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120015656","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"2504177589be82e6c62570fbf4812bc9428f1d08","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120015656_1763603892525_0.16607196992836704","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120022746":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120022746","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120022746","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"7078ba3eee798039befd026252dfec8703cf7536","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120022746.tgz","fileCount":4,"integrity":"sha512-WpaT0t9myRcqT17p9j8jaWdDprvW7kWMy1TgU8KlZtmUOsZDrDBsd4tTaxEiAhJ7X9MxIPZBZ/2RAziyimr58Q==","signatures":[{"sig":"MEYCIQCrvZl2IjwO1pnw3TewtUpBuVa9PZr3XqC0BOYgegJuMwIhAIGBUrF6z99hKxql+czTHq5HQ+oHvLFjvxUQhMTaOVL/","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120022746","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"e96dc961d60884c1c0ab15ce0785ce2aebec3745","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120022746_1763605739979_0.5609589526677372","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120023349":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120023349","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120023349","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"cc4d3d368295823d24e1df343f3c1368bf9a341e","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120023349.tgz","fileCount":4,"integrity":"sha512-N8iySID4vtuL08B2YlF7ul8VCG2CQKLS1RMh1sfSppDaZBwGYiN1czHle+7jrdlYWHG3QQXZWdUYIqohtvWF/w==","signatures":[{"sig":"MEYCIQCjgG1y2I86L+IVQtHTarfxyOcCRvR1GebJ7KNKcLx7WAIhAJkETeXesPCGaZswwXgsqBOqo8Piibl6uBJ7ByOmFTZX","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120023349","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"3b717067f1a3f02bdef741b248fda39fd0f8ce8e","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120023349_1763606106494_0.19518444547568126","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120031921":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120031921","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120031921","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c875a7462de45a25dba1ae726f733094d9101567","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120031921.tgz","fileCount":4,"integrity":"sha512-Ea3HEgS4/eGnPjrgqp12/9BDp8r8/p9dig9Je4OrlI/YiwF8rktXwCvxbv9+1NmySb+D3PleCXAGL5dtQH1BLg==","signatures":[{"sig":"MEYCIQDXK2KWiVNCCP5b0m+kEzIlOGJKXZaLzrRUOVBT4mZQ3gIhAOOYg3/jBA+jbUXxc/560qwumHj1Hibrma6a0f+wFuFF","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120031921","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"76584ba0ebeab9354da53ac834ede3c072b951e8","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120031921_1763608836135_0.18543343831494652","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120052253":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120052253","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120052253","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"1c456c7df4d20230b34a694d06738477a7907b71","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120052253.tgz","fileCount":4,"integrity":"sha512-iz59WUSFYKEQCXwucyZ54ljTj4EpMnQzLmoHy29aSauGWC/DBE13VUM5uFBfohtf7bP/hkrd4SaXhtL3+OGQog==","signatures":[{"sig":"MEUCIQD2Qm7kM90Ln6DYAikEoQoJyURspTP6r1RXH3TStgorvwIgc98nDGnx7VDyywaBQ7tFLAxEkjP06B6meKnrZc0ahsw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120052253","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"a72bd537aae8cf90aab4b2f96e7cbaf6936a6dac","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120052253_1763616247412_0.9138798080314763","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120054404":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120054404","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120054404","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"f9e82f8a22c819090f42a469d78b299511459ad4","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120054404.tgz","fileCount":4,"integrity":"sha512-AfmG6uY+dC3eXnbuKVQ+WyTbyZHdGMt+atvczLYUAmQELG/rX6FobWisin0FDYjKyLmi8cW8QN6rT2FL0nLR7w==","signatures":[{"sig":"MEUCIQCFy/XhQR206UA4Z+nIfJyP/6VB4xUzPpDsprxmINw9hwIgCRb52Q7ZdRPWoABFPo4xF7Pys1VVttPAsN1NS2ml3OU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120054404","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"5d52810db0afca412b26ecaae7c49e2485593e7a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120054404_1763617517502_0.7563783824927994","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120060929":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120060929","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120060929","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6ec67ccc78c377bf7330cf0da801ef695d68771a","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120060929.tgz","fileCount":4,"integrity":"sha512-N9auxNalOebz+lb026A8BT2Wb73GVqfx54Y7EVFLHpIftILu41b1BM7GUZEZ/J2NfG5NnDsrF1iMXbpDp3j+Bg==","signatures":[{"sig":"MEYCIQDSz0Rc3knrmVo/INY1YOThc2x9OdeCjfKX+laJw5COqgIhANPkxSvZt3tp8YerUVbwnRbYa/MYXthQG4/jc8VCp8Tt","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120060929","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"c32bdab79a0b76cd842ddb0d6d2f7c852ed43644","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120060929_1763619043097_0.7793367999669751","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120070726":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120070726","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120070726","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"9f29c23c7894872a8aa041fbc508680882761647","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120070726.tgz","fileCount":4,"integrity":"sha512-kyujf6947bV5h+M/AtKgC/rLcTiRCnwzGCaQVCFXMGDOkpY/E51pyz+iZMy0VHAzT2yohiWUuKn60bajSQzdsg==","signatures":[{"sig":"MEYCIQDTM5oXZC5naijAxxU/Al6MTKkSthVR33pU2jjzPSbe7QIhAKPa8SNrGTubW5jqrBTxmFwalLW9mvqPBEhTtgHDxhC4","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120070726","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"80e46a2e65639f315a99740dcf64456143078593","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120070726_1763622520658_0.061894029405300977","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120072524":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120072524","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120072524","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5f32f1fa41432f1c26082d0b2747ceccf49fde22","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120072524.tgz","fileCount":4,"integrity":"sha512-bvPjEWCVq/6KYhA5UhuC6p/PoSlhJO4VF8Y+gwJRJCXt9k/cFGM6F5AB8cRcJkGs5kb+gIm308aWuqu0rKhiDQ==","signatures":[{"sig":"MEQCIHM28qlPbLV4PBlEsz3U0PEDFouvtRrmGHFRGflD/z/CAiBGTLUltcSRs7brs5jRyQR8UA/7Q4LA39jTc5Nk0EIGDQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120072524","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"47bc23e2e2bb6f1b37cbd09389ec8074b16b9a60","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120072524_1763623598902_0.7275873288058254","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251120093243":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251120093243","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251120093243","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"ba62bb3c3b42f5712559c1cbd850af8691f1a112","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251120093243.tgz","fileCount":4,"integrity":"sha512-S6AlkCaeoDHsJIPEqBi45/rEqep8ZrJn4fAQy/OLDgdfukgMjh7HhA9rP+llp5/z9c2oLQrz9ERiZulLyEnYNA==","signatures":[{"sig":"MEQCIFLEtZgte9gVdl2Zi1eNJL312/AqosL8TSdevpyZCoSvAiBslNR18ObStx92ZdYH7OG0XpgFX2lzBh9F6BDGqgzgsA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251120093243","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"42f07e072f2da4d13a8d6df6e8a7dc79cca04aba","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251120093243_1763631239971_0.5719296335614306","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251121093721":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251121093721","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251121093721","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"3b9b93f641d426d4eabc1a2cb6d93578e97a5422","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251121093721.tgz","fileCount":4,"integrity":"sha512-bkXy9Eub/eCZEepXUXixCLefYsETg/OL6tUdZEX6pnEWbsNtIOeMgVJQqePLRrmcw3vP9rVijXqcinzoktKyNA==","signatures":[{"sig":"MEUCIQDFl4uHhoZQJD5nnFU1Zj+9BGWxM+A/a2HGVtCpR9pi1wIgcGh/ZD94R3bdqNukKGTeWfwDDqTsStwRmW7hdX+3rvw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251121093721","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"cd32a0fa73a020b65d425919f837e6ca44bccae4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251121093721_1763717919332_0.8078813573922072","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251122121758":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251122121758","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251122121758","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"249645178667d5b1bb32981f3c20a854f8bf32dd","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251122121758.tgz","fileCount":4,"integrity":"sha512-UYkPxOnj4+XWCwbh+gxiL/3C0ayEBAU/qXfDVXv4irnzIMFBjDgbUwc3CngfOlbL5GN3sFQ/QTp0+yLli+G38g==","signatures":[{"sig":"MEYCIQDCGEpJ0nkGgLNWOOvZ4+3JIvGEMxDWXolu4otUIYUm3AIhALByc4H5ZltiDWykwoWhx4JiCClzq3ADQH0e36d2lRS5","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251122121758","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"5b23bb83298e0b5fa9bbd733f1a73c4174789323","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251122121758_1763813956883_0.6177502610810062","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251122151927":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251122151927","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251122151927","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"7ab14e1663a50ca2863082ab40394a3c6936db8b","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251122151927.tgz","fileCount":4,"integrity":"sha512-DFXND0dfg3DgdI6EYuCVvd4cZaB/cPqMwgsVGQUJEAZ3GdQkZxH3cOhZ5PHehWZGtRO05Iw0UOkgAadqR0+rjw==","signatures":[{"sig":"MEQCIASIuFJ+/WYjK6wTO2+2xT2GjCWB06ykVkeAa/5K2eoLAiA+BmG9cyPW9FFicGNy3/AYrTTkWucNrFlITQdBazXf/g==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251122151927","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"eb237cbb21456357f68d45cd7459fc4c3cc3e6b3","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251122151927_1763824843540_0.13837987901158222","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124023705":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124023705","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124023705","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"fb39608aa1863210b405854ed063f737d8cfba51","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124023705.tgz","fileCount":4,"integrity":"sha512-+jJh7nrIbDTvjmMZ1/sJzIvcaJ+YCbU1tMFEDG6hnRCDylXOEq9B2fjyY6mt7SiDSWmo16vuU9OJUCvk88TDHg==","signatures":[{"sig":"MEUCIGfxwiCUVpkUXgT63FIfUYODG2UfbNWY5qo+L/HiVgk8AiEAhv1/gOvnX9+NE/kzMDvsqU0eUdrvTsS35kXtxEyNeHc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124023705","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"21224eb38b3be840bb1b928333556ff1e65da0ed","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124023705_1763951903170_0.3731616562750626","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124033525":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124033525","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124033525","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"a1a1b3f4e07131d29cc9ec235fc6a57aa4f866d3","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124033525.tgz","fileCount":4,"integrity":"sha512-gFWkvmzmQaclmL1clnpztPMQus9TeBWamXGhdOb6CWvAuzmOSQfOkHJJUWR8BVoHDMr2POqM59oGimziFasGTw==","signatures":[{"sig":"MEYCIQDY7i5ku1nqU62lZ4dr4qDd0OnoriF/fuO2fn8AmfFoSQIhAJ48sIyZxpvluUi/QdhAMMfxnN2YfIcVdrr5qtfWl6we","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124033525","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"859d0d74c8b3d607da3775e3124fef9e32321675","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124033525_1763955404449_0.4555555728544878","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124033751":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124033751","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124033751","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"086eb9475096fa56d9c48ee43701e782720bd406","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124033751.tgz","fileCount":4,"integrity":"sha512-lukW7A8Ub8Mh1clJIzyoQmxJKTTDKTENXvU57QqzeuUiOwqLVvm7uUHEaNorXl5vZLCqzDQGtEprHarae3E/pw==","signatures":[{"sig":"MEUCIQDKwQ7SFw7953AXG5QXykmBeSHxvcsHWVNAwNZ2DTjB5wIgGrG381ASZlA6aMe1SYDjAiRP6Kvq2i7v8UG8LGV2rNE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124033751","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"540db1f6fda195659560c00418f5ead2a023901d","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124033751_1763955547992_0.28457821034572595","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124044002":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124044002","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124044002","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"d891fcf5e4d07f046beaa80d8b41abab4b47c17e","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124044002.tgz","fileCount":4,"integrity":"sha512-8rRd5CRDM1UMVmP0MBfdITFq4te53CKXqj9qu/jnjAEXiUZiWKCpE24c99j/txkF37T9U4dQ/zo6WU3Udq4M1A==","signatures":[{"sig":"MEYCIQDJL0alAchJNRc1nvEiV3Pzs2imjX3SX7Pyvj1UeVvKkAIhAP81BIs/NY6lDX+JcAQB5Y3+ytW5vg9PcAmO6M8hjiBQ","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124044002","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"7d8dfadab4278cce52c8fc49abea371336d21d9a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124044002_1763959278556_0.875562141534348","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124045153":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124045153","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124045153","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"497da59e4b03a72db2a8b502275a8ffd2e4ed3a6","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124045153.tgz","fileCount":4,"integrity":"sha512-3H1pT3h4Jxcau9i9SwHY4lsQHnAp1Fs6Bcw0+SyKgDIKwDiqta8Gva26U24dd8Kkt6CSCXj5OOvOQXzzbEVmRQ==","signatures":[{"sig":"MEUCIQDCSDEzWl3tKh0Q4OePYsOWQ7Pd8hTlwhGJiPv/fCmJ6QIgBwwflnpeGQHhHPGoCNJ01MrZgU2bXJNf95ROmBBgs3E=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124045153","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"67547ecb09f22b825ed425ebe3f0533363e30969","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124045153_1763959988269_0.056289973414750394","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124050427":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124050427","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124050427","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"fc636bcc773a72d1565074cfdb44c5e0ee9e00bf","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124050427.tgz","fileCount":4,"integrity":"sha512-13T8tNeMJTb71XJiUE2i8dxpJHM7Dt5HfoU/0jVSamWx9wUhTQzzU0PDg1E6d4kZb+/7wuM2pigueZLc0GCbmg==","signatures":[{"sig":"MEQCICrQtKZ9EizPGNVBXRjglUdzi9OlTug5e8l04ZpMnkIOAiAkV9aT2smxcpUgu6zvqePihSJzpk6gW5r1kfAths5riw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124050427","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"6bdbdaaeeb1fb274abf9eb55458006a8f2a9b8a7","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124050427_1763960743558_0.9188860460602433","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124054130":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124054130","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124054130","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"d1fc5686bb59b89c91c97f22dcd894dd648c6ad7","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124054130.tgz","fileCount":4,"integrity":"sha512-wtet0rdfP8jn53G2dYfvrJYdYyADX3W0UzYIFo+lkjoWRdTLfnWes7FRZIaExLkL7MG1SAkFtF5NvJiWXLrigg==","signatures":[{"sig":"MEUCIQCULmw4hqFLQT6Wrz9AL+UzxNIKyCjoFH8d3kINlXDOPgIgd3T6n0Z92eKjwtrUeqgu+VXqWurUynr2qahYBu/OiK8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124054130","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"840e74d535ab6644e5cba6867d85e7cd69465702","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124054130_1763962962433_0.055112107427433665","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124054449":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124054449","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124054449","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"bc2ae3a8f6bd71940e26f2c13e06646ca4778ff0","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124054449.tgz","fileCount":4,"integrity":"sha512-SiSEfQIJZ6cUSJNTzpKbfF+uD7uP1vgKoO+yIs1I1Goa5vf84EA/L7hZ4wrt9UtzcPUF4Z5uVHj8JkumbrsHRA==","signatures":[{"sig":"MEQCIFIPB99Wx7lknD0Z3ULfaXh5P0An+VSgJK2SLRMJAvq5AiBPUkIHxX7RCAjYMxQQLF656DiG47kV0UNwSrgb6Fn0jA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124054449","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"ea6950848bc6cfa6321a872c23dd572cba0d77bb","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124054449_1763963164903_0.8046273802630932","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124060913":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124060913","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124060913","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"44f58d5a902922506e065ca6f032e96dda539ef7","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124060913.tgz","fileCount":4,"integrity":"sha512-JGYVLuP+ASmPqqNgMFWWxZwO3M2+JGsIt+8RBfVQ8rjhcaLbc8Fa+QORSydR1J6Mw8Ww3UGTdCj2cdrCBGSwVw==","signatures":[{"sig":"MEUCIBaQIz9eEVuyRMqWgchBoXL2xvRlFrXM4CGH0vIMVnIpAiEA7popXcO56RZnFObrHPwl2bX0vpvfZhEJCjFNH/1iZY8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124060913","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"6df1b4efe4b175e9b7f080369f259ce6e40ed304","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124060913_1763964631258_0.42930457504925723","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124062211":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124062211","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124062211","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"0ead157bfb13083a1883118d533f97a204bf37e3","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124062211.tgz","fileCount":4,"integrity":"sha512-IefVjd1hMdxyujQO5DEVgewnw6nb8K06QtrOgCib/vuHtytq+vO3ySlocdorZ75QwxOw/mG+sHSOxoZkuxfcPw==","signatures":[{"sig":"MEQCIG6KI3Frvs8GD0DbEIlevnFfu+LkG8WhfCZiVEcM9F0bAiBeHD5qQeeSbzGwb4JX7KvvXKYv+S3zRGJl4lbystQmoA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124062211","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"0bdddb8e425857793df327c0220549706eab7b58","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124062211_1763965407231_0.8864876125483532","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124064307":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124064307","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124064307","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"00f244ee2047aed2fd27656142b11ea78556a41b","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124064307.tgz","fileCount":4,"integrity":"sha512-PMtel8yi6ek3dii0fqMZFsfUz56sP92KN6aX72JFg8o5tyDspXcEKt7bdHS4Xd1xOJp0hvOcG2hDohcDWpe+uA==","signatures":[{"sig":"MEQCIBRp69Dzk+SQwJ94aiCMMuFHg+0brsvz3Z1pZbaS0ISEAiB3IHWMYVPnFCQWn+HUsuHuy+ZzCdQM7leXliDzNn9PfQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124064307","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"5fd38092588e43211ce4269c93edbc3919982c99","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124064307_1763966670099_0.8445194973710513","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124070920":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124070920","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124070920","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"b2dd3eaee114fa15a80882aa052eb22180cda91f","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124070920.tgz","fileCount":4,"integrity":"sha512-JLOpfez9zYdhyU+RrFacU89vDSyzqW43ozsImQIXxdEK13WNxjsdn3Z2zjbMSz7uqP8OooCwgES28b/WDl2Y7g==","signatures":[{"sig":"MEUCICR2ZRm6ITPs3YSvA9O3HzUx/evU2q5FyXPAbdFrWFb5AiEA0n9hDTssltlh39dhY2A8wPZqEGQftBBEmz8HjA/jyJw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124070920","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"697ab741bf3f7a99b0fec50d55f8e6fda59694d5","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124070920_1763968239411_0.0339786237070665","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251124073254":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251124073254","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251124073254","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"b824cb24e984c5f49bcd5954b5aa1322e74acc47","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251124073254.tgz","fileCount":4,"integrity":"sha512-9w2Ntx1Ga0aHRPDMvrEaQhsey5CmCCtbgED/h/lplBr7dKzsTwfQKOq7MUL7thWw3FX2EZKLCwJZbh18bg3/JA==","signatures":[{"sig":"MEQCIH7WHx8JP6E37BPlxtRUrYzMPRBldAjk8KTp+nArn/+MAiB/xifAhQcmyaJxQBFzeDXWmcgHcAXH+I0gTDq9GKTixg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251124073254","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"ae7bd186ac05c23da6a6e85a8f02cf113dd59eb3","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251124073254_1763969653229_0.5240653058101714","host":"s3://npm-registry-packages-npm-production"}},"0.2.5-dev.20251125010225":{"name":"@leanspec/mcp","version":"0.2.5-dev.20251125010225","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.5-dev.20251125010225","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c798441d2eda8fb2715804bc9ae2e58ee2d1138a","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.5-dev.20251125010225.tgz","fileCount":4,"integrity":"sha512-uWao7eXqxrZ6LpgIVgSIALxc2uBbI3oTVmxywhBqovaoUi1qwlgKMIS1fBlYMVxMIESaMms2gM7GBkP8nh00jQ==","signatures":[{"sig":"MEUCIQDBwODifYioA3Uf+f/oVwtstl289NG+YVXIEYOi4gJp0wIgMSZuXrrw0zXvAURDeEJItm7KUaulxT4fQAhnn5bBkRE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.5-dev.20251125010225","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"d70b6564ff09a39bf3783e0245a91aca3fa1b91a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.5-dev.20251125010225_1764032623356_0.5471884379621785","host":"s3://npm-registry-packages-npm-production"}},"0.2.6":{"name":"@leanspec/mcp","version":"0.2.6","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6052ff673b890db65d9c0995203f201751fcfd49","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6.tgz","fileCount":4,"integrity":"sha512-H+0TIATKu7jZxU6sAR+WrZ7tFdzQEGmoLMXxo6OqvFocH7cNX7TtwdzZbdKlOwAXknfwZMLRA4mAE/dzLeApbQ==","signatures":[{"sig":"MEUCIQDX+0ERuPXcrJ3EhUOOAlnXxbe64xtUO1Cr8VTdBoT9MwIgMqAjPw7Wt/EhkxNQuVFS2vVsQDa0LxBKAgjTaQhaGBg=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5863},"type":"module","engines":{"node":">=20"},"gitHead":"19d83b9f43d9ba9ecab2fb7fc6582cb573796209","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"11.0.0","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.12.0","dependencies":{"lean-spec":"^0.2.6"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6_1764032668803_0.01917944609430222","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125010539":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125010539","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125010539","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"2e55d6f0a1efbdad2398340b32918cce49de61e0","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125010539.tgz","fileCount":4,"integrity":"sha512-ilroiugF/4cj5rfO7GqHB7QFD96wYik+uMLc5XoCB6an7/i4uKGjjkIMYyMCYDScs7Ipx01SMlRJ7ZtWyjlPhA==","signatures":[{"sig":"MEYCIQC0cGDVlclSjY89yqMN+SHiw5eTsthG2HKuinQR9Sq5OAIhAKUKGgtHH1UNpD5taB5Kvk1fIwQ5EMQgtRK41rjrbpvB","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125010539","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"19d83b9f43d9ba9ecab2fb7fc6582cb573796209","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125010539_1764032816267_0.4707224095543503","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125015611":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125015611","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125015611","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"1301ab9e2ecdf620bd165f1e1afd78e43a6285d7","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125015611.tgz","fileCount":4,"integrity":"sha512-yWdWK8xCfTaRd/F47v5Jfqy1UTGYb9oewQI57swjG53EPOxBPYpycdesAc37YmZPeTTi0Ikz1RZ/W6HXzU5ppg==","signatures":[{"sig":"MEUCIF3D98ryAi7zASIu2JYelEiNovhQJGIweVObTqbZhuFfAiEAwd4r4SK2btTbIwwJ6dvVcWn15uKB7HR04QtSpK1dYfM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125015611","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"4e34e8b0190c807ed11271404b49baf69debb629","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125015611_1764035846020_0.2035944932022007","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125022459":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125022459","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125022459","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"ee21b716e2752b01a0e0742e730cdf1f8b529125","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125022459.tgz","fileCount":4,"integrity":"sha512-eelphyGh2Fhw/E0l8pRIgp1GlJ3/Xnlyd8E3JAS4YDuLpBG/rYH/Er1lJjgNhFIzcDidkFPxZoci84IW0hYnGQ==","signatures":[{"sig":"MEUCIGQAklGuCdwvXOeI3m7syvbTxLnaVd/hnh3I3YoF2+g1AiEA5z0R7f5k3VhG2cugf84SbnWZ6yoOxhLNCDFeJb6rjzU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125022459","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"a4287d2046a324dc1b466a2c38d347149986ae89","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125022459_1764037581575_0.625486745520808","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125033622":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125033622","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125033622","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"728b0ddd1d776ad698b9bade2899c047f0f8345f","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125033622.tgz","fileCount":4,"integrity":"sha512-MJJaVZ7aZPbIIdlhLM8EZS1f9Prnjk9FUHFwlKg+V7GRXktFhZPRZ9bCdUqmldkAAgzWNTrsqx4Rb7r8A32D8w==","signatures":[{"sig":"MEUCIGREj6nqEu6jpkVZ898OJ+T1OMO8EFb6jVQ/pjIFxCXWAiEA0PKT/ShDlogfeKy45uLYRcpUmoKcjQqsCgyJVoJ4eIs=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125033622","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"efecdac086f4dec68696795233f1cbee389fbeff","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125033622_1764041858591_0.3959829813919977","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125064907":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125064907","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125064907","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"d430a2c9fd2d072f652f12c0ca3a1edf95328f8a","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125064907.tgz","fileCount":4,"integrity":"sha512-7+1Obk1/OphyOH8jcNqEnsELwXJ0jreLUw+vVrcoewMgq1ZYJUVaok1OblTmBZzHnix10R2mDAr1j70IhGDvcA==","signatures":[{"sig":"MEUCIQDNyXP7a564SqZT4A0JDRBJcRf1N6wjJXLCXgH92MEDAQIgBAZeg4kaiBuqAh99T4C8vUdWMiIbowofAPKTTcE0Z/Q=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125064907","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"1449b9c0a332621733a0955b96988728434d038a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125064907_1764053419144_0.5755156591096617","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125070051":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125070051","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125070051","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"a88f3abf1112b7dfee97541c10042e4e952ee96f","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125070051.tgz","fileCount":4,"integrity":"sha512-Z57RNqb1mLx/PlGJvDM0V8ejCWRqm1vlePKDm8em29vJEzyI1H77WfIMvGTCd1o6Vnxo7k36k3lA9S1wt6oviw==","signatures":[{"sig":"MEUCIQCeAYzY3yQwpZu4iI1FLot+8nLDbmx2VoTFTIUL95MCBAIgaeheks4mDLdFYaIeBFMeFvbJITlSc7+r0JZPkQhRAO0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125070051","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"a9ed14dec686c1310dfa48ad06b9142473d8e76d","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125070051_1764054127875_0.9418195287990798","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125070417":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125070417","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125070417","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"29f1ec4a93a1a1804f9eca81113393dd20cc3da2","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125070417.tgz","fileCount":4,"integrity":"sha512-uVtj64pVRnb0872dW/IxwoiiKahdncefaGN0Az9iJH/PWZrYjKjz0SDtXnFD8hGDX2B52go/o6QaeLtFL5+hmA==","signatures":[{"sig":"MEYCIQCrHsLSntOw8bd7hujBw0W3o/NSV62jG596wN0OjQHfxwIhAPVC0apexQQHHYoG+JN5yV6QyPloXgArg93nnm/jf3Nl","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125070417","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"6e75910af94dd3d265085997a1e3b57895f84486","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125070417_1764054332749_0.38911031472674074","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125092039":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125092039","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125092039","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"bc7db8395fb1f87b4d1ff398f59ae07de25799b3","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125092039.tgz","fileCount":4,"integrity":"sha512-Am62UYqTRKwpBzGjwdH5mQkIDkJz4Ksx0tJi1MswM2/dYMLB721FdJxGrR5IFrh2T5DDn/iBW7xLXxB8dqSyZA==","signatures":[{"sig":"MEQCIDZ6JUPal7FqxTaQXPedcpX8ulvZCAcn5p2nk+RGMZmdAiB+IiF1uchngi840tcQ5efqyC2HG1BGuSR9H29JMDD9+g==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125092039","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"0dc018b2a050f4145ac5bc99bb2082dd727d736a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125092039_1764062528202_0.9566142096850696","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125092944":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125092944","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125092944","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"58527e117b6f82ec56880ec4061d3324eb2f284c","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125092944.tgz","fileCount":4,"integrity":"sha512-0hadXvHQzpIqy4dqu1aU7xXu84nGWlztyP4oWcpHW6Pqvtwd0HPu5FL97qC8mUccsD213KZLmllsIJJQ5bfRHg==","signatures":[{"sig":"MEYCIQCTfNFaJASX5p7/wvQrLsXfmjLuaKFhPKi9U3/Oh4yPZgIhAOC9dTVfO8YZNJqxUW6c1y1hvBE82MmmvfYGKCrpmfn3","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125092944","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"dd66fd655e885dc7af008a7d6ab3219a1e60e443","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125092944_1764063061015_0.7009581642100238","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125100207":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125100207","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125100207","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"169c5b67f9fcb912bf62a39fbeaad00b8537c33a","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125100207.tgz","fileCount":4,"integrity":"sha512-W8oY8gtLSgZDC0Zp4tbo3PR22wLTsBdyUghPQGaelqrF0vJqyG032SKAI6ECRrhcQSza/LQ9XZhEnWk/j1HrBA==","signatures":[{"sig":"MEUCIQCmMJNVN1WmFI3V5NqZBz33KLFA02tvfvRRjVoHd1KTNQIgDpGQkbiWiU94l+wBtZ+lTyLaZlESVkV1l4s5tLowZqA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125100207","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"74a4db7d15820efe41bb2a5bc09a6c5c1d07617a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125100207_1764065007902_0.5870813944381259","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251125125653":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251125125653","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251125125653","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"7363407ad932a57a555accc2dd55ecf954158555","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251125125653.tgz","fileCount":4,"integrity":"sha512-mO8onsICO0UCGbkdPyt+yJcpsY71ddFoqJIiIhpJ4dP4/N58LIIWkjjmjeumfYmKZ5BZpcXo8W6/GIJmHJpk4Q==","signatures":[{"sig":"MEQCIA7zKN2v6xtgrTP+UmWMuGaeIyiR9tainQtcRZr4/LokAiBqzreKjI/ZQe0nv2rhK5hxDJQ8G2vG3MiwYLFbHiJr+Q==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251125125653","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"5778c9359db2ba1e7cb06686bbe7eedf7484e612","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251125125653_1764075495334_0.2516394634076111","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126022313":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126022313","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126022313","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"368938dd8c18ad3c5b10def5ed430cb78003e815","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126022313.tgz","fileCount":4,"integrity":"sha512-2Zp1WyJqpMBHE3Yt6taZYeF2xo+ReCOGYNsdOC43mirF1LbOgPfXDRmcUyvL20bb9ZlixfgJTpM7GdKAud+Kdg==","signatures":[{"sig":"MEQCIBvVqSmmHAQ/DxMvsrNupGERZ2jrL5l/pnD3qqke1t+UAiByx3H9O2ypW/c79qyVOyexG7okcZAOmSPsocpewJXxtw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126022313","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"fc45695b22aafa4a19b0e4b8f8aeb5686e9d1ee2","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126022313_1764123873992_0.8014088063908076","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126022840":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126022840","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126022840","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"1915e657e17a5b5eb84f0f113a950187921e82d8","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126022840.tgz","fileCount":4,"integrity":"sha512-NrQpt0nfw9yK7rwQLYapSbRnc6jQRYcLR6CGsLRyyEZ0RFX0FdFEWc2IjTbN/Xu3y9dw07ei6MokCAe9xhS1Bg==","signatures":[{"sig":"MEUCIHWrM6x7g/17JVgA9XzF/T6oPIpzUu/D3U8SrUyD+fvsAiEAoYERVhkoyMsSunklolIsADGe42wNzsAao9RnJyOyeMM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126022840","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"a158dc9db26e027b03bcb9dac51228c1f40a3e6d","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126022840_1764124203815_0.7794132555540394","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126030344":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126030344","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126030344","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6dc7434c3a839940eecea7c0e250b87042145e53","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126030344.tgz","fileCount":4,"integrity":"sha512-QCwhZ6hT/6s/Yjhx5BQaGLcO6cyhUFGRSWFZ8qMPhkZFklQqS9yTedI9IJ8/D+AUDUyHHr2KAXTjKka+v/5Y0A==","signatures":[{"sig":"MEUCIHZGAKUvo/If+seolmuPS/lQ9gMfcP97VLWUXiGXz0GLAiEA+lYydJ1hC4v+hDdzVIl0smmgieL1tk+2aIVaLI0/x6Q=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126030344","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"c96cdca9763a4ab385d6b605c592f686ab529db2","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126030344_1764126310791_0.06041752358908603","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126033915":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126033915","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126033915","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"b8d3f3135b068fe4405be3bfb2d2028b5393fa44","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126033915.tgz","fileCount":4,"integrity":"sha512-7LtfpqCyHFfxHMpm/iPjz7r0fxt2oFsWzvC7+tlfRWYTuUFFqiikCTYKz/p0EFV2TgHCsNp/KQm3YWM88/zKlQ==","signatures":[{"sig":"MEUCIQDOc8bMmHJ/7bALT5YQPNOTb8AsKN6Kakf2DdpIjncPJAIgaUVFQHXNHFRfmMmC7Rt7dunMqan43Tk0uAI+1exUvfc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126033915","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"2f9d69c8a72e88d7d734437a913976b83718272e","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126033915_1764128438099_0.034505714560274736","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126060744":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126060744","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126060744","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5e30349a4eefa348a5c54f115fdcf7d6e147315e","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126060744.tgz","fileCount":4,"integrity":"sha512-3ytfV06TRKzmdVZhD+4sXASk8WLj95p26+pr+1RkRfll9ZZyVZ5eAdozKcHxpYG7JcvbaHV+VdBezEKJgkuwIA==","signatures":[{"sig":"MEYCIQDMXr/cQcqjiz2FBxnc2Gwe4syyij3uvw9G/cCAJ1FcaAIhAOQjZUQNOXrJ5RXc83kFzTShDLtGvvYIejs5l+VNhA6T","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126060744","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"1424310d9d66573d0cf78b41ca682e57a5f36fe4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126060744_1764137346081_0.24737950374328155","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126062137":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126062137","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126062137","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"b4496f126bf1c03718919b139262988a32826c0d","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126062137.tgz","fileCount":4,"integrity":"sha512-KMM+wFcM+1nHlW/5p3ZNq0/32olZQAgGoDPJKa9aFoAXqQCqVs5vQjXiluI82aq2DWkLcdkHtoq/ic2MZTsn5Q==","signatures":[{"sig":"MEUCIQDIHOtl/NFGXRh1v1UomNg9r5uZYR6c7MOPnjh/JEKGeQIgI6XjuZZEK1+DebwgusbCatk9+5ESyTFcCaSgERNZeHY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126062137","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"a8798acba43356aa9b44b7bb21d83cef75546c29","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126062137_1764138178163_0.21820656293889829","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126063304":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126063304","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126063304","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"8563a28ecd4d6ebcd185225e9a313b9e89abd42c","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126063304.tgz","fileCount":4,"integrity":"sha512-1w/I62yNyhHfQgGi6mCQVzJRSwebuFKt3fCsmj6jwLrooDKTZFy4deivAXogbT9d3TjNiqvK445B7WmCMAxsLw==","signatures":[{"sig":"MEUCIQDT/G9a+sdEmmzs8n8mHZc4tGPGJ1mBi+oUcHoyBglX/AIgUSpNBt2PAQi8+25sSt0i6XwOqQZEEyQt0QR9opOTfRU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126063304","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"7cf0a8b55da7b55cdf74b0f33447efe2357cd21b","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126063304_1764138869483_0.8324924781269354","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126063615":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126063615","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126063615","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"b28f2d2be49c76d2c0f3998144526aa7d19904df","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126063615.tgz","fileCount":4,"integrity":"sha512-gkqUoJpjqdCh+BpnAkwzwPYcuba1K2ZSMMPTXXhzzVijoIs4l86zKi7R+r+eRj+LCANzcH33FMlC1Cyvj2Luog==","signatures":[{"sig":"MEUCIQDHP2VKQfmH7Ujxt9julOaQ23unp8F6vJTseXgsFeB8dQIga8QJ9PJGfd2x/ragM81KS11TX8Bp3NowWYLILkF5GxE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126063615","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"8cc88fcef9097fe9a699ff9c0a736ebec2680829","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126063615_1764139055556_0.6742559410918549","host":"s3://npm-registry-packages-npm-production"}},"0.2.6-dev.20251126064548":{"name":"@leanspec/mcp","version":"0.2.6-dev.20251126064548","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.6-dev.20251126064548","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"ab2b826b175a0224310048f9dab9267978d66996","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.6-dev.20251126064548.tgz","fileCount":4,"integrity":"sha512-XF+hT4rAJwJvQGQCONYYJOU1VV9Y9hjgQ/A5k7gkAnz8f2+07iLNf3BxhmzkViwngfIlhfXw1FxR4ZwWA0W37g==","signatures":[{"sig":"MEUCIQCuedaPWO6wF5MjfvU59kfPif83rPsciX4UjlsTzKFZ/AIgab3DFscMnjewLe6r6gIvp0kTzqrUaCwH3UeCuWxkUWY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.6-dev.20251126064548","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"f82ea4fd943c1868d72a6cd48df9d3b20ae91295","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.6-dev.20251126064548_1764139634761_0.20107458044464788","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251126090057":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251126090057","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251126090057","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"be9cbc34b91b5bee3a7c28e220fc4e0bd333661c","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251126090057.tgz","fileCount":4,"integrity":"sha512-5enJLQrWkR9N1T5jXCzTGeMIchR+0ArXX7YgrMhhLKaMM1H+GTA8uwePF5AB69dehjhELibGGMjT0grmMo9J0g==","signatures":[{"sig":"MEUCICnfqGPkbs4HgQ7YVWpnsOK4fNIhSN95idJYiITeFXzAAiEA5cXMmcBNtnTjsl/AFLhSYimiGrrvfyKG8UYyTpokQco=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251126090057","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"3483add1c6be8cf5b272c276f23e3ee2729651ad","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251126090057_1764147733324_0.04913585027468659","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251126090633":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251126090633","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251126090633","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"a89463892a8072c32e3617774bbc6ff16ceee429","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251126090633.tgz","fileCount":4,"integrity":"sha512-VBfOvZDPrhTh95Q9L2jieVc6Nax9gCUTiad4Cg8CGVFHlj7g8nIAZ3n0srDgMr/4xiNLDu5O8KD8wEPcY6u5gQ==","signatures":[{"sig":"MEUCIQD9Py8Tyr2ecfBOYIi+hFQGmpML+wzbkGBZxd5wI25NJgIgPI9bgGvBm6VRvjB9XZ6NchKUiwY+xWmjaSOd8Rl+lEU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251126090633","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"67e7818f6118f982344f5101cb9b1b503b4f122f","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251126090633_1764148079697_0.8608702852623757","host":"s3://npm-registry-packages-npm-production"}},"0.2.7":{"name":"@leanspec/mcp","version":"0.2.7","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"909c599b073e1c5407431cdbe8a0caddb82c8e0b","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7.tgz","fileCount":4,"integrity":"sha512-IO0JxfhDMSme0nfuvE6k74jYfA1JN6PZvic0ksB9kY9RT1qH8DlPBxNwUxgdE1kAdNbz2QnWYV63bINGtcmbTQ==","signatures":[{"sig":"MEYCIQDM6xFgzJ8ogeyJXJgJ3ddUKqN+vy1ATQYHo/otTccyhQIhALu1pDezfFOR7xFFdvUEodhipXwZExeV1QLsN5f/rkLt","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5863},"type":"module","engines":{"node":">=20"},"gitHead":"42fca0e230a61144ea3353484dd26b4b7230a247","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.9.3","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.18.0","dependencies":{"lean-spec":"^0.2.7"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7_1764151694607_0.5100459008357527","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251126100750":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251126100750","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251126100750","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5c7254ff64ec75983808fe10f45321713ae644a7","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251126100750.tgz","fileCount":4,"integrity":"sha512-8juKhB0mR9/LzikEbMfdoV9QWA9yTOZwLJznCWY9aj/4x7kJByPar+0jO2UoZn+u9UILSSMwfrBo0mn4zeyhgg==","signatures":[{"sig":"MEUCIQD1dfP9lPDXgxPmYxdepm3RdZymbHkTO+LlnHvPL+fSRwIgOCCNw2j4pTFUGzYEWbDhq4WRBwTpvjtTQE3GNqhX5vE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251126100750","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"42fca0e230a61144ea3353484dd26b4b7230a247","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251126100750_1764151757038_0.4957407588206799","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251126145902":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251126145902","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251126145902","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c97542b43e721eb7a9e103690ff2b16b758b0e55","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251126145902.tgz","fileCount":4,"integrity":"sha512-0DZEjgEc1zVIcYjo7VURiKidFZEyF+2xFnJuHsPcVFWJxgdcDsxAFKPmHBGdyl35fR+zri5q46h0/sTipNrXig==","signatures":[{"sig":"MEQCIH7VSX5HvHYrBPLwiSDvJ9Y5KjfqA5zdj1V90xPkgcSdAiBhxNTU2KqwEtM97S8zjk1SEuzkPSm7nPgA+wr78iZY4Q==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251126145902","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"6373ee988d3a8006978b085c88052bb4abe4195f","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251126145902_1764169226096_0.13061167520360772","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127013944":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127013944","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127013944","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"9da6aae404caf1ba35512debfd6cd4f738f62c2d","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127013944.tgz","fileCount":4,"integrity":"sha512-bMEx0we4zub5+P9A+IN0ZmxOWLCpVhWX0oghzCzHgciiOj82MxA2pJvCgAwzH57sox9hTJYGnNJeUb3OZt9BLA==","signatures":[{"sig":"MEQCIDSXzpYtvjNzeqNOy6ZRiw/dnYhttyKzcLDJhyuv7CewAiAs8gClbuwz89N56lOO2CDy6EEHsDFd+MRKH20eAsQiVg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127013944","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"2d597e0e970bacb6ae5ac682235925dcfef7e3cf","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127013944_1764207669673_0.4023315874074589","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127021524":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127021524","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127021524","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c31009aaaa173ecded892ffb3590f6ec28764f17","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127021524.tgz","fileCount":4,"integrity":"sha512-BCPbw8jndvA+GoetXqklZy5JBDDKrgpX86Rd+HRKU7dTRcGKo9Gwhxn6CHVcdwj1R/2tZUehTNBa/EkvJM7TWA==","signatures":[{"sig":"MEUCIQDdAoIJLfGWcv6kZCbYXQ0DcOaKw3CV9PK2SZCYi6uerQIgf/B/WOW0JHwoUz4DiLy+ydjWxwievolUowIUvDAi058=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127021524","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"eb4c4fd779f2e7a30d41f864c9de20d55168c42f","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127021524_1764209804915_0.644497903972304","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127021753":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127021753","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127021753","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"0359474e6d484b31ee541ce5de445b4b9919a035","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127021753.tgz","fileCount":4,"integrity":"sha512-gzNq/pdb8CfYkBZJwZcE/+FCrQtNOMHlTy4dE6exU6l0fkyjHRLuNk/ziiXSGqCUFAOrOLmWCtZ+x4ECyFD13g==","signatures":[{"sig":"MEYCIQCJ72LL+8T0MkK/KK9NY5ft4h35jyltW/775bfTvyHU6AIhAJOKFGSZerXyskQcFNaO8h9SwJJ992gSVF1U15e3magb","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127021753","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"3a2b9fba6b5311e7debf844382ded575b8744e7a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127021753_1764209958721_0.9437364912677646","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127023144":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127023144","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127023144","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"4bb35107c29c0aaa64355fc3c4fcfb8e0e69e012","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127023144.tgz","fileCount":4,"integrity":"sha512-A4FMnCy54KFcwdXB6/EoL/00DnTg4OndZKXR0M3qhuDy7C66Zj1AWCU9hjXzbLyM786i/wMgLAIcK4gQe9ZUQA==","signatures":[{"sig":"MEQCIBfKuJom9AXk+M6Vfh0sqRk+NResAAOiAS+ZDHMHEw19AiAaILbrLgjhMO3xHEEXGTIMc7i0wleGiM46aj51j9d5XQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127023144","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"f888f31063bdeaa22bfe72b413a6bd04efd1464a","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127023144_1764210790834_0.6026985893956152","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127024801":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127024801","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127024801","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"af7357f2039d3a8a3469fe7f7d2d6416b4eeea55","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127024801.tgz","fileCount":4,"integrity":"sha512-K45wJzJX1//aSXstpZrGArL1F2ul1EIH9dfrI3LII3Vqgbe3M6QI8uEPyGYH/wBThBFZILyRZMues147bTO7Hg==","signatures":[{"sig":"MEQCIDjpQCVSsKtEz9wT+SSWZ/5SAPlOlq+d3+L79TqfX1TvAiA61CYwzBKtXNFvGvQIapVE6O6F/GF+24c6WcBMJnyBJQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127024801","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"ec868355ab845715fa6476bd61373432b5c9b4b4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127024801_1764211766241_0.4560529494327552","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127055844":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127055844","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127055844","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"710aa61da17ba2e094e3dd9147fd931ac596dbae","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127055844.tgz","fileCount":4,"integrity":"sha512-HDV+TXx5mOxE0UmlN4l58NelHnMhLf9Vru6fOQ4ijLSV9/ZsWT3WzkuBUkWTF61Rz1ZTuoW3tk0W3+efVxzRVw==","signatures":[{"sig":"MEQCIB2tId5b2xcshUxKR7dwmQfr/+6y6G4NR8M/kVkxCfWaAiB1yB4tPqbAZmG6MwzdadUas+Cnq2XDUg2NNqrv/aOMeg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127055844","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"24d397bf6db34a5a3dfa93998305a21bcea7182c","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127055844_1764223213547_0.0777584917155465","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127073145":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127073145","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127073145","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6b827738cd00603b1cddceb0344424a38914f764","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127073145.tgz","fileCount":4,"integrity":"sha512-sSYafL0V7+1K9qhEPNnVm92zlRSp07Q9SmtgHihbXNg2Us2HLFYyu1VJHx78K7FnqjFjTHfUT8/ig3oAcq+4rw==","signatures":[{"sig":"MEUCIQCS7ITx3nxnM4kO3E0HEUzfLq960AwH/4iv1aRzcMqWoAIgbBT+we9MZeR5i8p30c8L1tgxPYbewofDV2d+Uu3KC0I=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127073145","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"321aca9971803a4c9b188d1bb124b7df57e0bb90","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127073145_1764228790789_0.2236992744975954","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127073850":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127073850","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127073850","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"8e9192f591204f57e44566a8cf661c22f4f70269","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127073850.tgz","fileCount":4,"integrity":"sha512-vUIbFkPS42t+HUxLQRLwILXWtdWdy60PTV0XEdeUuXPh6ZROy5TPRH29Xa4w9x1RzJvEOc9uu4I2WIz9bfMxrQ==","signatures":[{"sig":"MEUCIQCFSsoJAG0sTZKAmOQ62STwrfNDCygjPzuHYIhHIYWsIQIgNrh2vcGxEHlcYQ2B56XrbD8En+Y4NyZfBDWmqpIUj50=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127073850","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"71798307652d5cd940004169d1f1e60932e0dae7","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127073850_1764229212647_0.20086333226909225","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127082201":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127082201","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127082201","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"55249fb1fd247c3c6ee7a36ee2a580c7fca9165c","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127082201.tgz","fileCount":4,"integrity":"sha512-Z8PXPyIJt9ubmEWGlQvzgqMScx3Z92v+kBXY3/ezZ8157wkBSIT2hq4qBz+dBkL+qHbycCB4ZrVgLSWfeCJhpg==","signatures":[{"sig":"MEUCIQCRYMSgcV4qVVA7/tskU+R4Wt3KWJOsBEom9oBhUTPv2gIgGHQcY/s7CvDOma9DNGyCdcyGa/MdmJaZvuwLZ71DUk8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127082201","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"a9265961fbcc334471380da63088f0b2bb3152ff","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127082201_1764231802448_0.8148260091118167","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251127084251":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251127084251","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251127084251","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"2bda7f32636a30fdbe1db911022c0892d2ea1e54","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251127084251.tgz","fileCount":4,"integrity":"sha512-/3XtgFT397pAmgg4nbsAZzjVv3lTrWlW5BuSCv/6lPPn19OSLWhnSyn/cSB+XzdST6p0NXOASsUgUMGzp+lC1w==","signatures":[{"sig":"MEUCIQC1DukRcAvsHzCpS0fa7FRDH0xzuHQDHfHjBAOttakQFAIgTReh8kIGz6TdS55NvcPUKv+30KnKt64gzHiWWwdcRtc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251127084251","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"56dc09d7702beee4c61b08a4d14293f966fc45f7","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251127084251_1764233054225_0.5505805432404987","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251128011647":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251128011647","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251128011647","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"223332105f45d19543cbbadb264d63fd22787ac4","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251128011647.tgz","fileCount":4,"integrity":"sha512-Z0IpdgvNFI65WCRTwG2z5tLrKXX2mviVAsBRjSWqjAdN+catcKDDv24UpvmH7z4ezgPKvNJeAyfNXuOYCUFodQ==","signatures":[{"sig":"MEQCIHefPmYoe75p0j02Wu7rpwvRoICV8JLJ24rkIvUvaOz6AiA64swh3xnoYQCVowOrktPqKfzytQsNyn4Y1GKQlrugng==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251128011647","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"35bb615e37d5e6eb35187b682c0aefa009600001","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251128011647_1764292688137_0.2980487998936978","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251128013112":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251128013112","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251128013112","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"e82e83810bf2962a7a45c73a5fcad2b99fd088f4","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251128013112.tgz","fileCount":4,"integrity":"sha512-TuboQ3CcFrXi7zglyX1lLsOiTWPDF0K47gq0bDAnET6sBT017XbpOW0m0dZMflpRRP5eL+p5d6Q4G6ZX4/79/Q==","signatures":[{"sig":"MEUCIGP8Xo3XobnzQCkit7S8xz2EMbFI/m1hnBrQqCn+I1aBAiEAiHMInldErfZI9Gijdbor/XT3JC2fWru3x13GCF2CaIQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251128013112","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"c244a47ea1b495bce44c6ec777efafd3ea3c38b0","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251128013112_1764293561028_0.21147937265703365","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251128014554":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251128014554","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251128014554","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"4aafb7c2aca691ffaec3b36b37b557b728011f0c","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251128014554.tgz","fileCount":4,"integrity":"sha512-flhEWD3un2gK3rAOibeEhVkgvY/0lwLvvHVhK+D3LGSjVUT2+32jGKXzrp0dOIuTleDIVsIGn1vdaH7PTOW8vg==","signatures":[{"sig":"MEUCIFwpslw4SEYIX9JBNvgXkadjaibLzDsmHShIDCGO2gGkAiEAmrlqBg2Fs3h9wNe8MBNLp+fHM8LNOsqXitpjkncO3fk=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251128014554","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"260371ea06da6b310dbca8ddb399216036975a64","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251128014554_1764294438148_0.36309343180092624","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251128015707":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251128015707","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251128015707","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"2b4a0b0e510712f51f5e7836679f077e6882ac5f","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251128015707.tgz","fileCount":4,"integrity":"sha512-FVTcsZLRV10Zf2tcJ/K1kOluQzVVbIymJdjZV1/di7Z4rYZOIoP7ZGp6uP4SbD+Y+Mc3rQkfOxU1XFTK3i3Jxg==","signatures":[{"sig":"MEUCIQCvE9/XBbiWOKKQojhVJTMMNqVtowyedufCPTXGyfGvwAIgCEHOXDhdcs+3sWHHVT/tj+XFxcXQe7rvGzHccD1MW9M=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251128015707","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"6808ba26dee19b885256e93539e78d8dd580fd4c","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251128015707_1764295111249_0.033463015166278254","host":"s3://npm-registry-packages-npm-production"}},"0.2.7-dev.20251128020042":{"name":"@leanspec/mcp","version":"0.2.7-dev.20251128020042","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.7-dev.20251128020042","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"afe48d75be97e92a06451e4cc1e500edaa48e46b","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.7-dev.20251128020042.tgz","fileCount":4,"integrity":"sha512-yEiw61QKzfhCMxwh03VnUZq+YHNsMvb38UEWE4eAJ7COc9rW7nNeBNrGGVlfJbnJ9ca88Fs3jlN0+bEKNV8/hA==","signatures":[{"sig":"MEQCIBscKsu+OZhsNLb4tEHGzb56jyivn4t+D34LH8KYqbovAiBxtIe6QcV7A8Wqvir9t/30Xj2owFw6rGFPVnSAnfyH5A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.7-dev.20251128020042","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"18b83fb2b936e564b3f6c4ed5a1bfe0e478a90d3","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.5","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.7-dev.20251128020042_1764295326701_0.30240316862853067","host":"s3://npm-registry-packages-npm-production"}},"0.2.8":{"name":"@leanspec/mcp","version":"0.2.8","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.8","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"3359205835bd8ba8d1789ec04e2e487579c11791","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.8.tgz","fileCount":4,"integrity":"sha512-tfAeS0amlCeqnEt7GY4GJh9EV9kTB3ijmKpXfegHC28ZD459grCkV7MQof2vY7uwP7b3Cq/2rRgVlomk82Q2kg==","signatures":[{"sig":"MEQCIC34SCRzXenObkAMSC/F6sCZKCbfVpZhJ4A8WVM5HABGAiBD9lYrJfuAoMsv7oMCJm1RwXg7fdYhy55M9VMVu3R3EA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5863},"type":"module","engines":{"node":">=20"},"gitHead":"139e26f0c1802b6370ffb49be897df25ce29e620","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"11.0.0","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.12.0","dependencies":{"lean-spec":"^0.2.8"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.8_1764321161592_0.247198436586191","host":"s3://npm-registry-packages-npm-production"}},"0.2.9":{"name":"@leanspec/mcp","version":"0.2.9","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.9","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5038aa4f83b25cd828d64de2776a0e77dd9683f8","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.9.tgz","fileCount":4,"integrity":"sha512-0/ybvtg2cMjYfQI0Zi5R4l8X+XZc/84Qz4h0K+46tN0vJFvilEVwpV/jRr0bAMpw1bD3Ai/vLjCBDjRhkVgYGg==","signatures":[{"sig":"MEUCIQDqfqZQYL0YXj7adCOF4Pg8aJTWDVbLTP7r51Kttg0UTAIgQklZngB+XesPtiSpl3vvQqr74SVXpjWNmh49wiWIBmA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5863},"type":"module","engines":{"node":">=20"},"gitHead":"b3e286305d02bc6193cbfa686e8ac7dac1781e93","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.9.3","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.18.0","dependencies":{"lean-spec":"^0.2.9"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.9_1764834812321_0.8067014092960967","host":"s3://npm-registry-packages-npm-production"}},"0.2.9-dev.20251205030455":{"name":"@leanspec/mcp","version":"0.2.9-dev.20251205030455","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.9-dev.20251205030455","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"28b18686e59c0e9725bdb8625ec3b500a3c00342","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.9-dev.20251205030455.tgz","fileCount":4,"integrity":"sha512-G5NftwfUX7QPvzTjN/rLxm9DbkwupycoGUb0kDKZuQc5AuCJbV5lPRdR2/bV02+VlV9DtY5u16LnhWjK2enAjQ==","signatures":[{"sig":"MEUCIDTZ8t5TNOr8k+XTh7qsyUfidq0abpvXHw1CmVaMz4FhAiEAlfCfBy+JR2psiqWKuCxK+t+Im2xEdpHRTQ224H572XM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@leanspec%2fmcp@0.2.9-dev.20251205030455","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":5887},"type":"module","engines":{"node":">=20"},"gitHead":"44aa117bb58feb82f250f7e6e6080a37d5e3df15","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"workspace:*"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.9-dev.20251205030455_1764904027395_0.24112522991421614","host":"s3://npm-registry-packages-npm-production"}},"0.2.10":{"name":"@leanspec/mcp","version":"0.2.10","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.10","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5a03cd021ff63a53da88c9cfc210cbe7229ecbc8","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.10.tgz","fileCount":4,"integrity":"sha512-GZ4VCFrHBwNigYJwnMjZGe3w3FI9ky+CpMeZKlTMidR/hSCmxorhQEdRUMXMbs6x9q63d4AKQ5Y6cmE749AXBw==","signatures":[{"sig":"MEYCIQCCrlOhzCDSV+D06AaSkkSEcDgcmdlrUSQCzAuktPty8AIhAMdNFTby3BUSic+gU2ZgRQvNunqPjUTBbjM3AK46lqph","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":5865},"type":"module","engines":{"node":">=20"},"gitHead":"93e5e89ec53771c1f161d71a3ce2d6ec23d7327d","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"11.0.0","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.12.0","dependencies":{"lean-spec":"^0.2.10"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.10_1764916694523_0.6440820175670299","host":"s3://npm-registry-packages-npm-production"}},"0.2.15-dev.21022397862":{"name":"@leanspec/mcp","version":"0.2.15-dev.21022397862","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.15-dev.21022397862","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"bdb30d144195bfc17a4b64f54dae140276bbd6c7","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.15-dev.21022397862.tgz","fileCount":5,"integrity":"sha512-RTDgGdYMHqgESMZyxdg6CnJ8T7iqL5hz1uPlUkxPW2A6cpd2HMQmY78VBoI+/509ILgtybbXgB31lU037CVSsQ==","signatures":[{"sig":"MEUCIQD6or7MactO+WLRHc5zANW05g6snDh1Sl+o6KG55idGhQIgURIarIDfoSA5TGy6g916m2nL4XxqrBLPo9NkVFbyXvE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8597},"type":"module","engines":{"node":">=20"},"gitHead":"29cecdacaaaef600c9a49ecb1ab3cd7bbb23f78c","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.15-dev.21022397862"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.15-dev.21022397862_1768460037009_0.4868638044103235","host":"s3://npm-registry-packages-npm-production"}},"0.2.15-dev.21025278490":{"name":"@leanspec/mcp","version":"0.2.15-dev.21025278490","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.15-dev.21025278490","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"abe31c14fe8a76aabc4f993298d5bdadcfe52d1d","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.15-dev.21025278490.tgz","fileCount":5,"integrity":"sha512-KBz5r+6rQhfxyb4q047rASuKt0Zlh9dHsAzrDH+ERmF0+4EWdt0URxAVWJLvGF/xLWNPM9secAWCmIHNgj0+8g==","signatures":[{"sig":"MEYCIQC7rEi/CxjhqfYF0gX5EtcK5OFbnO3FfgcYNI0LcRK9yQIhAJNn8DgQs16znTxGD0Rxjk14IJWBjm7UePxnHHQCaf4X","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8597},"type":"module","engines":{"node":">=20"},"gitHead":"de1b068f383247a13c9e91a03a958c6b0943f1e4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.15-dev.21025278490"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.15-dev.21025278490_1768467582381_0.4901487413952508","host":"s3://npm-registry-packages-npm-production"}},"0.2.15-dev.21026674201":{"name":"@leanspec/mcp","version":"0.2.15-dev.21026674201","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.15-dev.21026674201","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"7ae98feff5985a395da1731d02f5a24937337d1a","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.15-dev.21026674201.tgz","fileCount":5,"integrity":"sha512-nfcvhWUuaxIihF3JkzCNDg+iXTGvqxHeaCntwhEtO/GAzzsqm7Cwwd+C1XMXeSSj9a5KnagavKqgtZQVlECHMw==","signatures":[{"sig":"MEYCIQD2TSHPZlOzBBpEXzbNtu7PPBXKBy0KLhTfcrVLcDzPBwIhAPl2GHbvv7RNEyu41wFLG+3e6A/a+tf/xPNvxBvolpFj","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8597},"type":"module","engines":{"node":">=20"},"gitHead":"68bfe51875ba03f5bcdf39e843436d849f5e8a52","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.15-dev.21026674201"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.15-dev.21026674201_1768470551453_0.4380100657923185","host":"s3://npm-registry-packages-npm-production"}},"0.2.17-dev.21033364960":{"name":"@leanspec/mcp","version":"0.2.17-dev.21033364960","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.17-dev.21033364960","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"78e26a9451d7e3c21c8c4929fea9da06e2d5248d","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.17-dev.21033364960.tgz","fileCount":5,"integrity":"sha512-NbEIHv8OD+78fFoTTyCv6oBmPw/mai9u1wSGNglIdEDs1lsAbkmMy+hBPE8twAirg/Sdcj+idWWeZyYFqFkWVw==","signatures":[{"sig":"MEQCIE3Z0r1Xfv8Fe5BTVReSortghKsaUUdNzxXXKZ67XNKfAiBqIdOf0nYYSurnOK+U0bavaFlaWqhj1+D50VT8D0nA6A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8597},"type":"module","engines":{"node":">=20"},"gitHead":"7d76bac84b2203222e8b30c480a3c6a2b8f25ec8","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.17-dev.21033364960"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.17-dev.21033364960_1768484960352_0.09738033621787268","host":"s3://npm-registry-packages-npm-production"}},"0.2.17-dev.21035738990":{"name":"@leanspec/mcp","version":"0.2.17-dev.21035738990","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.17-dev.21035738990","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"784e5d331608e5f11c0c5d6ed9c72744775e6cb9","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.17-dev.21035738990.tgz","fileCount":5,"integrity":"sha512-ATR31K9i/eFVsquwzKngtqkIxdnP2TG0zCLWCaSky4EKfalsv2zpoCNjaWWzQ5MKxXZeRPF67QCqvKLkMWnv2g==","signatures":[{"sig":"MEYCIQDp4HjP8JurB6Nn0n+3Prm61TT87lRnkudroa7910DSMgIhAPyQJA6tA9ljoZNrrEwJ20uwX087AKdgUgc7RFeXiv5R","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8597},"type":"module","engines":{"node":">=20"},"gitHead":"0ba7f8fa865a526309f79684088626d11b188c75","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.17-dev.21035738990"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.17-dev.21035738990_1768489692620_0.7432401966728168","host":"s3://npm-registry-packages-npm-production"}},"0.2.17-dev.21036599661":{"name":"@leanspec/mcp","version":"0.2.17-dev.21036599661","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.17-dev.21036599661","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"e82f35dfdb0134a74f341da53431a02c5281eea8","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.17-dev.21036599661.tgz","fileCount":5,"integrity":"sha512-9q+WV66Tb3Ilz0OiBGEj/hcEQ6n7sps2YnhL28tB1cJmjF1TFegm+eSMlIvqvTKxmTTnyb234MLqeA0+lL8VVA==","signatures":[{"sig":"MEYCIQCRoffj5rtUoYp85ZgJ6Ou6BIuwSTOj5SFiKZZ+Ko3yKgIhANXwy7XeGrRaZim70J02UYql4jvYxfJ9lHP1BQCO8uI4","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8597},"type":"module","engines":{"node":">=20"},"gitHead":"c9d76e1e0e04da153b1252d16c13d774a11e7d19","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.17-dev.21036599661"},"_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.17-dev.21036599661_1768491254588_0.1280884395258961","host":"s3://npm-registry-packages-npm-production"}},"0.2.18":{"name":"@leanspec/mcp","version":"0.2.18","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.18","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"fc93b2683a85f13be92675f1d00d03808feb1817","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.18.tgz","fileCount":5,"integrity":"sha512-0CrbCnb0IUi1mxhcU5n3e4MJ00bhpFFqmmqOqp12SsYGHQpyQhre+Wt9xMSNc/e4hYYxVJYWg6l3NpOtWpmAsA==","signatures":[{"sig":"MEYCIQDwrcs9UXYKnP7drwTnCMA5PBkTBkZ2m6j3vXVXjTyKYQIhALNlMTETTq9DB084htPUaa42MXkjNv//5IZ6nivWCru6","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":8565},"type":"module","engines":{"node":">=20"},"gitHead":"0fff24d94ce8dc819529d58e7b1a4f9eecdf803b","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.9.3","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"22.18.0","dependencies":{"lean-spec":"^0.2.18"},"_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.18_1768544526038_0.2931190724738395","host":"s3://npm-registry-packages-npm-production"}},"0.2.18-dev.21126840699":{"name":"@leanspec/mcp","version":"0.2.18-dev.21126840699","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.18-dev.21126840699","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"7f06c748db5136b1f29eb5e0bd6a53c8bbe587d2","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.18-dev.21126840699.tgz","fileCount":17,"integrity":"sha512-D1+f+MM9vILigeteQPcITzkuy4qPWuZTcPGbC6nXGi2mAHzX9REHxzUJLjLUBuJKy8DUVYOdDfeRkXISjsmLZQ==","signatures":[{"sig":"MEUCIAwZXDXEZkdvmpUR+3oxnW64eAJ3vCufBtdsSK0OYx+XAiEA03RzYUM/9fQoOgIxSTDOFhNlNmpI09n5L+a8xar9stw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14811138},"type":"module","engines":{"node":">=20"},"gitHead":"b50043076f01106b3a9a66a93111df6b3b172e7e","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.18-dev.21126840699"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.18-dev.21126840699","@leanspec/mcp-darwin-x64":"^0.2.18-dev.21126840699","@leanspec/mcp-windows-x64":"^0.2.18-dev.21126840699","@leanspec/mcp-darwin-arm64":"^0.2.18-dev.21126840699"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.18-dev.21126840699_1768802350177_0.39648373571157314","host":"s3://npm-registry-packages-npm-production"}},"0.2.19":{"name":"@leanspec/mcp","version":"0.2.19","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"af3e5eba248bb085ada3d80fb70e3be35b6f03d8","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19.tgz","fileCount":17,"integrity":"sha512-DG8KeWEoSS+21JR2qzVmlMuaE9AcHxjwi3/hUzXYSTu5O+8EVAmsMS8cx33Z4zfbOQdMYAtOyPhlKiXdkvoaLw==","signatures":[{"sig":"MEQCIEK5GaS5nB0fbhnn4kUppOa5kSuxtf3p36WCNtbLjxZqAiAUQuVbVniRH0zuan6lYcZHOERiI/blJbQth1C4zxO/aw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14810978},"type":"module","engines":{"node":">=20"},"gitHead":"55903b3c13a938bffe4305cf71c451e9c8133264","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19","@leanspec/mcp-darwin-x64":"^0.2.19","@leanspec/mcp-windows-x64":"^0.2.19","@leanspec/mcp-darwin-arm64":"^0.2.19"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19_1768804430673_0.8300155950933426","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21166357960":{"name":"@leanspec/mcp","version":"0.2.19-dev.21166357960","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21166357960","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"3be7111825cf195e1b7ddbf5d974dc18dd2baf48","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21166357960.tgz","fileCount":17,"integrity":"sha512-d5MugLISCT9Qu+8A/gbtNfGqm5o/zAYAhazatCv6vy0EiOXl+04vHFiMTQnvMfU3EhqaZzzsOlqDHqCndoqnNQ==","signatures":[{"sig":"MEYCIQDyI8zRGvRCoBgwyD2HuI1a09zGYD/SPcgPYGuaZ3shzwIhAPeu1i4anw3EEIGgDv4gPGbS8ems5XKiwpMpbj7fa5nz","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14811138},"type":"module","engines":{"node":">=20"},"gitHead":"b99641437030f68ccd3083fc2b0b59047c957627","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19-dev.21166357960"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21166357960","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21166357960","@leanspec/mcp-windows-x64":"^0.2.19-dev.21166357960","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21166357960"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21166357960_1768902043406_0.7706896126104548","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21196353066":{"name":"@leanspec/mcp","version":"0.2.19-dev.21196353066","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21196353066","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"283784f7b03e235bbe1aa591f98e0a8c8b416f6b","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21196353066.tgz","fileCount":17,"integrity":"sha512-FFNcNVDlpWYD3FPNRS1DvKg+OPOAs3L8ghx0NhtHLW61lTmN6u7jAYGXropOhzHIYnhgPy7qi/RiavNHynfqBA==","signatures":[{"sig":"MEUCIFMbDJsYvTHF4zlXK34V8ZraMWBP/wy6BGqpf8MPxnAVAiEA50BNjpX7/lwJXjXBlF7lRHZqROC4O/q2s6dO1GXqMNQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14811138},"type":"module","engines":{"node":">=20"},"gitHead":"03aed519b2d75ba795dbd8e7dd5ca62955d060f3","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19-dev.21196353066"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21196353066","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21196353066","@leanspec/mcp-windows-x64":"^0.2.19-dev.21196353066","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21196353066"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21196353066_1768967351748_0.8045328644966234","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21202485632":{"name":"@leanspec/mcp","version":"0.2.19-dev.21202485632","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21202485632","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"de57e5e7455b40807462c90542566f237b210c95","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21202485632.tgz","fileCount":17,"integrity":"sha512-0Z2y3KhiMJSk8e/yxmtu9bH+Qv2wj5/HRRejoL3Lfns87MLYcn27lW/kFc1Fkcc6NLlyDWXBtM4gu+/YuM553w==","signatures":[{"sig":"MEUCIEsVxGcdPsjpZfehyaxnjgADpIGlZLADoN1DSv/G/A2BAiEAlJtOoIybdgvSdN7hWXhwD0RK7XZNxH1Rf78QFwaLuVI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14812826},"type":"module","engines":{"node":">=20"},"gitHead":"9d109a5d4233090071c49c19b707b52fe6e127d2","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19-dev.21202485632"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21202485632","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21202485632","@leanspec/mcp-windows-x64":"^0.2.19-dev.21202485632","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21202485632"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21202485632_1768984615355_0.6727451454447004","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21234656432":{"name":"@leanspec/mcp","version":"0.2.19-dev.21234656432","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21234656432","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"6ce8dcc0d7a565e395b4e232226faeae0b4abe9b","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21234656432.tgz","fileCount":17,"integrity":"sha512-qUbmAp9MzWdz68RtTFqRL5BspklfzGoq1q4EqM8oZuQC1z6qOsgmJuuVpzajkp5u9nyLOPWq5l48vtU9GDnyow==","signatures":[{"sig":"MEUCIQDAKeAa3hAlOWi1tXjJRIy0tWo6aHGpCrvaqvIt7AgcEAIgZPVM+IwptbDYW73nw6noTH5jFkNVUXbTu70wYyLv9bk=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14820306},"type":"module","engines":{"node":">=20"},"gitHead":"1f5e5123c26ca7057d4534c3b0796f48e275eca1","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19-dev.21234656432"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21234656432","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21234656432","@leanspec/mcp-windows-x64":"^0.2.19-dev.21234656432","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21234656432"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21234656432_1769052206287_0.5457713646278859","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21234803493":{"name":"@leanspec/mcp","version":"0.2.19-dev.21234803493","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21234803493","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"415dc4beb4b204ad1b468aba30211f8d8d3c4550","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21234803493.tgz","fileCount":17,"integrity":"sha512-auppgUeWm4ojRZIVf4V+bjncAM297vjkf4UjDtRgHOdKaJCI0UpnsQIOWk/JsoPE+uRywZfo6R46OCjEBLUSQw==","signatures":[{"sig":"MEQCIDQCJq/XmCtrok+WKaWPn+S3vceppngjpL4vP17lZ3wmAiBSADhTLOBd6jVPjjc+FAXHz/I3+d1MzePQMN0kHKxg8w==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14820306},"type":"module","engines":{"node":">=20"},"gitHead":"23aa009586cf76d67f8d25755bfeab7e0fd5a141","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19-dev.21234803493"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21234803493","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21234803493","@leanspec/mcp-windows-x64":"^0.2.19-dev.21234803493","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21234803493"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21234803493_1769052666290_0.3506163335313024","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21251648522":{"name":"@leanspec/mcp","version":"0.2.19-dev.21251648522","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21251648522","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c96fffb65ae3b48ac9b96848b348fe3382331e94","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21251648522.tgz","fileCount":17,"integrity":"sha512-RB05/jQ3BIUJpiLcL4H1yWZDTNO9W4RNo1/Vq/MZngLh8bavObccrNc40DEw0HyNbsKBlg6QhJDb373sOj2Qdw==","signatures":[{"sig":"MEUCIQCslGegHIU/gk7wvXBCBmpuWhV82Ou5WEQwfotI0FX7ogIgVVhbbHc9g25uXY8BzUNpS5Dh+BrAp8PX2xLG99bIloY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649722},"type":"module","engines":{"node":">=20"},"gitHead":"8cb70f0c1d60739b84451ba760a735363fadff84","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.19.6","dependencies":{"lean-spec":"^0.2.19-dev.21251648522"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21251648522","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21251648522","@leanspec/mcp-windows-x64":"^0.2.19-dev.21251648522","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21251648522"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21251648522_1769091797602_0.38690742662897737","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21275378865":{"name":"@leanspec/mcp","version":"0.2.19-dev.21275378865","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21275378865","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"98cd316896600edf704dab38321a1250f39c05eb","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21275378865.tgz","fileCount":17,"integrity":"sha512-cyYDM92WA3Xt5FcpXKQJQ2/XPrh+4I0yU2y28GMql4A9uVJ77QtJ1iOPKtjVlXjdwQ+GjYssTBfEhfmUzpQnMA==","signatures":[{"sig":"MEUCIALgi2bvPy0FiqjI+UDPgVwA74jnfsU2ZXThzgxv+GZPAiEAn7SFGZeMOmn/gZ9NOsj+XKNnT4r9QctspD1z6AeKNSE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649738},"type":"module","engines":{"node":">=20"},"gitHead":"7fe79b61788808cfa9a5db56f9b245c40ac183b8","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"^0.2.19-dev.21275378865"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21275378865","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21275378865","@leanspec/mcp-windows-x64":"^0.2.19-dev.21275378865","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21275378865"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21275378865_1769145661579_0.8642209296699319","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21287601001":{"name":"@leanspec/mcp","version":"0.2.19-dev.21287601001","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21287601001","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"30b41327dcee0cb8415cbb19276d0239dcb5885f","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21287601001.tgz","fileCount":17,"integrity":"sha512-W5fvkFFCc1DTSIYX3LYvA7cQ+p3ew9e6k2rBaL8zjTp/CAiQ+uvrDYFD2feiKCWjlUKJF1c+1BIXvAcMbpuwDw==","signatures":[{"sig":"MEUCIGK65ftYvkdSqT8s2S1kPf+zNEX9RqZ19y/br2cZXNufAiEAwGzso2XCeDays1/T0J8lB/BiVk6haUpwH591uPc7GoY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649738},"type":"module","engines":{"node":">=20"},"gitHead":"fdbbfea586de9279126348e0367aee878a100127","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"^0.2.19-dev.21287601001"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21287601001","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21287601001","@leanspec/mcp-windows-x64":"^0.2.19-dev.21287601001","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21287601001"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21287601001_1769175131809_0.2560290049614693","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21349915626":{"name":"@leanspec/mcp","version":"0.2.19-dev.21349915626","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21349915626","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"f9ae7dcff1ec183037dce6fc1c21982b9a366b3d","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21349915626.tgz","fileCount":17,"integrity":"sha512-5k48LJ56/VxocJ6AIZbBP2djk/uy29Ly/6OQ+7/T65IvA9ON0qNeNoCAcNW9qnnb9rbaP27zreRa+9PFF9M8rQ==","signatures":[{"sig":"MEUCIA9zHDiNqYrVUfXqf1imlCXp50Un8vc3qDxOrBL6pDPaAiEAl3CJccN0bew06ItvqXs+m0Z93cC/QxrggB0b2GpESVs=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649738},"type":"module","engines":{"node":">=20"},"gitHead":"63572ff3eb19b43704d142bdcf948af03e2d628b","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"^0.2.19-dev.21349915626"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21349915626","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21349915626","@leanspec/mcp-windows-x64":"^0.2.19-dev.21349915626","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21349915626"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21349915626_1769413897389_0.17135434309948616","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21382316476":{"name":"@leanspec/mcp","version":"0.2.19-dev.21382316476","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21382316476","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"e9a2be9f0dde11ae8229d9313437c8dd0d5705ec","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21382316476.tgz","fileCount":17,"integrity":"sha512-yhNpNwA4KmV0SrTicr+NS3et6O9aHFpvMzpqJstcLY8Oru+8tgoa2avb5a+4vxGOE4xV2YoDONRWCICzllUuNw==","signatures":[{"sig":"MEYCIQCGct+0bRzAf7AeDJH4iUt7rcBidXPVXDoRYQzkgs90ywIhAKzIuQtpmE+ma698jiIckWkMEz1ki/E+C3LZieZOfRwt","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649738},"type":"module","engines":{"node":">=20"},"gitHead":"7c7fb316c6d3d13a89105f396cfcb8068d9a0fa7","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"^0.2.19-dev.21382316476"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21382316476","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21382316476","@leanspec/mcp-windows-x64":"^0.2.19-dev.21382316476","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21382316476"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21382316476_1769482027424_0.7951086307297619","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21387117168":{"name":"@leanspec/mcp","version":"0.2.19-dev.21387117168","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21387117168","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5b9804d43a4c57c93dfa934b5243cb930b0af511","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21387117168.tgz","fileCount":17,"integrity":"sha512-iDB86CaEx/5i2Vipw2LDJaPqi4s3YTmb0PLvlZOj+Lx6Uj+dzOMQk4pzo0U0TDHgpZ6qQUljxBVo8dwRu4EbpQ==","signatures":[{"sig":"MEQCIFe3p7PpmvHV3NlVUavvnjBUPMAHhMSyXA01CuNZxVMEAiAkKQkqzJJzYrCpWrYK/uGExzWghP4NuuEQKQU/lea4qA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649786},"type":"module","engines":{"node":">=20"},"gitHead":"c3d83a771313627728b14a8eefb67eb36b153445","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"^0.2.19-dev.21387117168"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21387117168","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21387117168","@leanspec/mcp-windows-x64":"^0.2.19-dev.21387117168","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21387117168"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21387117168_1769496143512_0.8766978748089307","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21387450109":{"name":"@leanspec/mcp","version":"0.2.19-dev.21387450109","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21387450109","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"d446023f7dc7b277c6977c655d67e29f0d6a9de4","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21387450109.tgz","fileCount":17,"integrity":"sha512-VjIW+IuFeSEBWCVK5qnD3/5GGnAK463X/2aNMQ6hKRJwR7V+lnlqHQsU1uxszayZax4bTO7571/2knvzsjciVQ==","signatures":[{"sig":"MEUCID2sYsMFh4BrZOwdKhInsPIT8su+F9zEKA7Ns5sX+EHeAiEAuSDr5VenaxxJg81qDRVlpiO1fQqpY4vCgjo0LpU3MWI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649794},"type":"module","engines":{"node":">=20"},"gitHead":"ec2261c8568693ceaf301bdcaf5fb8aaeb3b2a49","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"^0.2.19-dev.21387450109"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"^0.2.19-dev.21387450109","@leanspec/mcp-darwin-x64":"^0.2.19-dev.21387450109","@leanspec/mcp-windows-x64":"^0.2.19-dev.21387450109","@leanspec/mcp-darwin-arm64":"^0.2.19-dev.21387450109"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21387450109_1769497131223_0.7626501649218453","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21388397943":{"name":"@leanspec/mcp","version":"0.2.19-dev.21388397943","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21388397943","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"cf272d3951e86261de472dbc85024113c985b959","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21388397943.tgz","fileCount":17,"integrity":"sha512-3KGd4kQULXSp2BPE1+JTWfwD8ifsXt1sLAnmymHBy05Vz7oKgzh/3bwOfqx6QSF1GTPOb1K45AwqF3llApzeUA==","signatures":[{"sig":"MEUCIQDHd4E61WWO+1gII4kwp/z8ZrwNATh1WtPnz/sl8wQXjAIgFqA+Kk3qs8pHBwVeW/elgDbhxBoyRGDYM4IicOPPXVI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14649789},"type":"module","engines":{"node":">=20"},"gitHead":"2ab04ef8d7886516dde210d0d197923f27cf6a6d","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.19-dev.21388397943"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.19-dev.21388397943","@leanspec/mcp-darwin-x64":"0.2.19-dev.21388397943","@leanspec/mcp-windows-x64":"0.2.19-dev.21388397943","@leanspec/mcp-darwin-arm64":"0.2.19-dev.21388397943"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21388397943_1769499819487_0.24498753141757845","host":"s3://npm-registry-packages-npm-production"}},"0.2.19-dev.21389425071":{"name":"@leanspec/mcp","version":"0.2.19-dev.21389425071","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.19-dev.21389425071","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"bc4eaed3d04eb9d22c596af5c8144e2b580fa419","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.19-dev.21389425071.tgz","fileCount":17,"integrity":"sha512-BJyUOxeNLZEz11ycBOn+VK/wS8obpi74KES853XbkQP9ZTCoGDovlNGNmdCT5WHQ/ztYzAudvlQQs4u3B+/z8Q==","signatures":[{"sig":"MEYCIQCtMo1LWHdUjLQC4GRBZpTfdzKkFKDFIODx/0VT8MF6vAIhAJhR0tYKS/9axdCM8Jwa6CYpEm2zyp18RXJ83E5j/qVn","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14650205},"type":"module","engines":{"node":">=20"},"gitHead":"f27d0c7198ddfad70c9757b1d9e2080d39cc1c82","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.19-dev.21389425071"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.19-dev.21389425071","@leanspec/mcp-darwin-x64":"0.2.19-dev.21389425071","@leanspec/mcp-windows-x64":"0.2.19-dev.21389425071","@leanspec/mcp-darwin-arm64":"0.2.19-dev.21389425071"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.19-dev.21389425071_1769502043619_0.716767137446136","host":"s3://npm-registry-packages-npm-production"}},"0.2.20":{"name":"@leanspec/mcp","version":"0.2.20","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.20","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"915517e2ba140c666c377dca2a76f725347e752a","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.20.tgz","fileCount":17,"integrity":"sha512-IMHq/eRlN/UxpxcngZSz2nlQYwLcZB/YrgTKWVgtsvIlxjbZ/zlgrS0Jrbfkc9pKCpjOAKGZ6ENxV7ia70rXzA==","signatures":[{"sig":"MEUCICXi5AIv4RHiTGHxHRkhRsq2NCVp4tNkCRGPzoRyof0jAiEAmpMgAKKNQmTrfVHgUBYY87GpQmw9JgiAWkq4qhKEJLU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14650029},"type":"module","engines":{"node":">=20"},"gitHead":"7643444fc2489834c48bb92cd40beeb55223ab44","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.20"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.20","@leanspec/mcp-darwin-x64":"0.2.20","@leanspec/mcp-windows-x64":"0.2.20","@leanspec/mcp-darwin-arm64":"0.2.20"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.20_1769503788259_0.826930453580206","host":"s3://npm-registry-packages-npm-production"}},"0.2.21":{"name":"@leanspec/mcp","version":"0.2.21","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.21","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"25bc54e8b30e5ecea759b21a8e153b3a5a3b3071","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.21.tgz","fileCount":17,"integrity":"sha512-Y1XL8V/UxZb3aXYKIVw/AZ1yIi/96NL1He7vrjA9H/rxnqirKwfgTssk4ADYwNPvhyaI7oQdCfEXlrhSoIQJlg==","signatures":[{"sig":"MEQCIGyYa2IoAncc+WzKm7Ohs4uq90at5rxkEiT0/tA+vvszAiBtJ7e2glCd2IYNIUV9GlLgTLUAfCXL0n3R9z3bF5jDgw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14650013},"type":"module","engines":{"node":">=20"},"gitHead":"8c45234a64f0fd12df14f7ca0da5963bf03b5292","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.21"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.21","@leanspec/mcp-darwin-x64":"0.2.21","@leanspec/mcp-windows-x64":"0.2.21","@leanspec/mcp-darwin-arm64":"0.2.21"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.21_1769507410104_0.39848434760145013","host":"s3://npm-registry-packages-npm-production"}},"0.2.21-dev.21574608473":{"name":"@leanspec/mcp","version":"0.2.21-dev.21574608473","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.21-dev.21574608473","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"bc2af617492fa9931e9ce3d1ecbe0db7f4f75f06","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.21-dev.21574608473.tgz","fileCount":17,"integrity":"sha512-IhzLjjo6YUgHVaKolv1LlVnZH6L7DkcgPiIuUa7Jm2H59nLFSFABy1nuBjEG8lR4xJZkEB+GE5A+8ZibDQLgbg==","signatures":[{"sig":"MEUCIHIQ0qSc8ANCFao5APUAJsHU1uGfZwuXfsAbv5Xlx2qqAiEAxmjdtO9I3IHrR+EtpJ85G669Ab9RyZuMLz5x1bwu+CA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14815541},"type":"module","engines":{"node":">=20"},"gitHead":"16234155495a0f2dbd49e19616e25bb65ef454b9","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.21-dev.21574608473"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.21-dev.21574608473","@leanspec/mcp-darwin-x64":"0.2.21-dev.21574608473","@leanspec/mcp-windows-x64":"0.2.21-dev.21574608473","@leanspec/mcp-darwin-arm64":"0.2.21-dev.21574608473"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.21-dev.21574608473_1769997838809_0.8674643095361865","host":"s3://npm-registry-packages-npm-production"}},"0.2.21-dev.21575245759":{"name":"@leanspec/mcp","version":"0.2.21-dev.21575245759","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.21-dev.21575245759","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"c61e345177ecffe142f27edba1e0f6de8fd8d057","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.21-dev.21575245759.tgz","fileCount":17,"integrity":"sha512-Mfy/Kq1n1107EKzE4BhaKHPWgEqtMoKLIWfyS68aAnUYCLdW81UXdmvjE+I4LY3Y+mQaRrEKCXjxs3uS4pISfw==","signatures":[{"sig":"MEUCIGa2GL2MreBu8B6fNUWMcq2b8Rm5DdfiNUGORmFUz7nlAiEA/U9UAFNycTw18TXg6oH7V++w5fmW7+f/A3w4dHQjwMw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14815525},"type":"module","engines":{"node":">=20"},"gitHead":"725b34752545353edd34db30bb45683d76b297ab","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.21-dev.21575245759"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.21-dev.21575245759","@leanspec/mcp-darwin-x64":"0.2.21-dev.21575245759","@leanspec/mcp-windows-x64":"0.2.21-dev.21575245759","@leanspec/mcp-darwin-arm64":"0.2.21-dev.21575245759"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.21-dev.21575245759_1770000087819_0.17958970063762392","host":"s3://npm-registry-packages-npm-production"}},"0.2.22":{"name":"@leanspec/mcp","version":"0.2.22","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.22","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"a9d1c128f7d2dfb4797073556d4a6557b59b5aa9","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.22.tgz","fileCount":17,"integrity":"sha512-1c13uUz7KL7e0wbM+m1ozJGcamcW9X7gSXdJhcFKRDyjb6IWRR95IyRnYMOGsavk4zjFxidvTLNlN4smL5++3g==","signatures":[{"sig":"MEUCIQC0srmCoAtjBvO219fvqgCsK6JJ3gEB46Lc6zBpH+rLtAIgdtN8TI+cqCvapAN+geSmc4lYYsE50goVWFk542cm0dU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14815365},"type":"module","engines":{"node":">=20"},"gitHead":"fb72e2c22eaea6d46158dae80720e1b28cb544e9","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.22"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.22","@leanspec/mcp-darwin-x64":"0.2.22","@leanspec/mcp-windows-x64":"0.2.22","@leanspec/mcp-darwin-arm64":"0.2.22"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.22_1770010142745_0.8700510284203176","host":"s3://npm-registry-packages-npm-production"}},"0.2.23":{"name":"@leanspec/mcp","version":"0.2.23","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.23","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"7f265910ea67894ec5f7a6f5f46ddf9257709c90","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.23.tgz","fileCount":17,"integrity":"sha512-78fT54KBf1TfO7LVZYv3pzOpZlhVxOn/mMTA03CpLSzvAwH7mQ9R15g6lmSQgh+AlC/rIBAl1EORCcVp6Ou1bA==","signatures":[{"sig":"MEQCIF5iXQO1oLqKP0FjIOOPCtwlyZr63KfVwZU471ZoGZWnAiBfTKUI6+l+49yxucZjv6CBQi8QmZTCjdmLVrn7THYeUA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14946925},"type":"module","engines":{"node":">=20"},"gitHead":"74a4bd3f4e277f1cc96633de3420f8c13ff5e23d","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.23"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.23","@leanspec/mcp-darwin-x64":"0.2.23","@leanspec/mcp-windows-x64":"0.2.23","@leanspec/mcp-darwin-arm64":"0.2.23"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.23_1770108731231_0.06015933749900482","host":"s3://npm-registry-packages-npm-production"}},"0.2.24":{"name":"@leanspec/mcp","version":"0.2.24","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.24","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"b9b3b1340df070256354b63c8b7b317e48713424","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.24.tgz","fileCount":17,"integrity":"sha512-SXFx1JD/aU4wolY7m9d3VAtLao3eef6Zj9qK2IKxG+1NQAYXo+yqD185iGxxgMprrGPJcqwcLaOLJc9WinIOSQ==","signatures":[{"sig":"MEUCIQCt6HFZhXVvhnDodXWuBh0SqRuN/NQCy0kyqiI+8FubtAIgOz8wFzGlK+qGmNEC/x0WLgDhMwSWcEyq+Po/liaQKPk=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":14888881},"type":"module","engines":{"node":">=20"},"gitHead":"3a05e99298110aeac06b379a71f76f52ebf3d616","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.24"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.24","@leanspec/mcp-darwin-x64":"0.2.24","@leanspec/mcp-windows-x64":"0.2.24","@leanspec/mcp-darwin-arm64":"0.2.24"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.24_1771817897540_0.9605286732408873","host":"s3://npm-registry-packages-npm-production"}},"0.2.25":{"name":"@leanspec/mcp","version":"0.2.25","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.25","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"5c4f7bb7a71ffc3382cb5c0b5071905e9400d629","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.25.tgz","fileCount":17,"integrity":"sha512-BQEvTvN/q/45OrZO2lAWJ2gsACOZG3NXVh468Pa8zVn1kLB84unonuouBCPbE8YI38vKvZrfWdNv1qxcJkJnLA==","signatures":[{"sig":"MEUCIAR1hZDtfls/0TWelW7FjvInFEE0JSjQysNy3fn/0C4SAiEAsnz7P8MQGe3Load46tTwwn28n2Z5LUuLOjxqXRQ7Urs=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":15113425},"type":"module","engines":{"node":">=20"},"gitHead":"310cdebf87fb997480e60bc60d07fdc4bbc04b18","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.25"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.25","@leanspec/mcp-darwin-x64":"0.2.25","@leanspec/mcp-windows-x64":"0.2.25","@leanspec/mcp-darwin-arm64":"0.2.25"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.25_1772201035088_0.8616243706800693","host":"s3://npm-registry-packages-npm-production"}},"0.2.26":{"name":"@leanspec/mcp","version":"0.2.26","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.26","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"83b447d83acb364c27bcbce264dfd1de179a09fe","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.26.tgz","fileCount":17,"integrity":"sha512-qkt94b9I0+clGd3iLqSNQMUyod7OYeZbQuCpkaL8WrmpqHNRSbSkOEc1FjztOQ5A5bxVtXERET27NfbUw5rc8w==","signatures":[{"sig":"MEYCIQDQAQtQJ1UifSoh8fNuIA1fRpTZ/0mi6rt13XFH/XBsbAIhAKadgedtcOwg11yBFJ0MEhQ7P2R28DyTzj5ui4W+NC3p","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":15137897},"type":"module","engines":{"node":">=20"},"gitHead":"29287e766140210327852f31f6a3f3f49730f1e4","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.26"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.26","@leanspec/mcp-darwin-x64":"0.2.26","@leanspec/mcp-windows-x64":"0.2.26","@leanspec/mcp-darwin-arm64":"0.2.26"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.26_1772591237705_0.0062448430499850716","host":"s3://npm-registry-packages-npm-production"}},"0.2.27":{"name":"@leanspec/mcp","version":"0.2.27","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.27","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"e3f42990495111e6b5c91638088d13d838a4a0c6","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.27.tgz","fileCount":17,"integrity":"sha512-sOLqPeWUO2ksFiVnFhgFyIZ5u/3T6MMF9W8smq+4ip1qCdrhkspdmpVeEmqbUAHBfw4JI14yf+KiOGpawrbZMA==","signatures":[{"sig":"MEYCIQDxApqr59+pY701JqQ4QATgFOwM/BaL89keYFzDEmpS5gIhAJYhZYfovmzeEVzWESaVCSVkYGk5783LzzGk9kOg1RKL","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":15134801},"type":"module","engines":{"node":">=20"},"gitHead":"e963da4b4f286899ba595f02a284c005ee92f1bd","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.0","dependencies":{"lean-spec":"0.2.27"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.27","@leanspec/mcp-darwin-x64":"0.2.27","@leanspec/mcp-windows-x64":"0.2.27","@leanspec/mcp-darwin-arm64":"0.2.27"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.27_1773064688144_0.34191052102989317","host":"s3://npm-registry-packages-npm-production"}},"0.2.28-dev.23044283727":{"name":"@leanspec/mcp","version":"0.2.28-dev.23044283727","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.28-dev.23044283727","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"67e537042919033a3bb79c912d606d3c7788c58e","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.28-dev.23044283727.tgz","fileCount":17,"integrity":"sha512-6j2HS9omiBJNtNr3PEUNnYg8fXbif2/ViAyf5EWbM78VFeKTLOUAVC4G8JdMhB2oQZSd6evR5TpK1urGUBZFKw==","signatures":[{"sig":"MEUCIQDz2Y9ZfoIVhkSba1ggU5fMpys3q31vGcFrba4YXl167gIgAafm34qxgr8aIypYIM5rp54O3PWx4GNQEUv18w1wOS4=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":15134977},"type":"module","engines":{"node":">=20"},"gitHead":"a50e8ba1dcb3f0776fa18bd02159f4ad4e8a35f8","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.1","dependencies":{"lean-spec":"0.2.28-dev.23044283727"},"_hasShrinkwrap":false,"readmeFilename":"README.md","optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.28-dev.23044283727","@leanspec/mcp-darwin-x64":"0.2.28-dev.23044283727","@leanspec/mcp-windows-x64":"0.2.28-dev.23044283727","@leanspec/mcp-darwin-arm64":"0.2.28-dev.23044283727"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.28-dev.23044283727_1773394382809_0.79531083248782","host":"s3://npm-registry-packages-npm-production"}},"0.2.28":{"name":"@leanspec/mcp","version":"0.2.28","keywords":["mcp","model-context-protocol","leanspec","spec","ai","agent"],"author":{"name":"Marvin Zhang"},"license":"MIT","_id":"@leanspec/mcp@0.2.28","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/lean-spec/issues"},"bin":{"mcp":"bin/leanspec-mcp.js"},"dist":{"shasum":"35320a80d6aebecab5d5789e20a481903cdf9415","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.2.28.tgz","fileCount":17,"integrity":"sha512-QXKEhCsJUWPWgH6K5kFuuIQkyLkIpShNuoCfc43sfRWQFgPQhIIoxcR/RQbm5tJMQk0w8zJmcZP3rA/azdroBQ==","signatures":[{"sig":"MEUCIEkWtiJjYncpZCUf7RAS5YE19AYmgYVK/dWqbIx96w5PAiEAsBDSLMCEbzSEH4PEzfx9uw5+YnMLIxjUr3IAs/o8MG4=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":15134817},"type":"module","engines":{"node":">=20"},"gitHead":"dbee6e7ef1b16fe331a20b5654888668478a684c","_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"repository":{"url":"git+https://github.com/codervisor/lean-spec.git","type":"git","directory":"packages/mcp"},"_npmVersion":"10.8.2","description":"MCP server integration wrapper for LeanSpec","directories":{},"_nodeVersion":"20.20.1","dependencies":{"lean-spec":"0.2.28"},"_hasShrinkwrap":false,"optionalDependencies":{"@leanspec/mcp-linux-x64":"0.2.28","@leanspec/mcp-darwin-x64":"0.2.28","@leanspec/mcp-windows-x64":"0.2.28","@leanspec/mcp-darwin-arm64":"0.2.28"},"_npmOperationalInternal":{"tmp":"tmp/mcp_0.2.28_1774234970711_0.7712646129605425","host":"s3://npm-registry-packages-npm-production"}},"0.3.0":{"name":"@leanspec/mcp","version":"0.3.0","description":"Model Context Protocol server for LeanSpec — adapter-aware spec management for AI agents","type":"module","bin":{"leanspec-mcp":"bin/leanspec-mcp.js"},"scripts":{"typecheck":"echo 'No TypeScript source to check'"},"keywords":["leanspec","mcp","model-context-protocol","ai","agent","spec"],"author":{"name":"Marvin Zhang"},"license":"MIT","repository":{"type":"git","url":"git+https://github.com/codervisor/leanspec.git"},"homepage":"https://lean-spec.dev","bugs":{"url":"https://github.com/codervisor/leanspec/issues"},"engines":{"node":">=20"},"optionalDependencies":{"@leanspec/mcp-darwin-x64":"0.3.0","@leanspec/mcp-darwin-arm64":"0.3.0","@leanspec/mcp-linux-x64":"0.3.0","@leanspec/mcp-windows-x64":"0.3.0"},"_id":"@leanspec/mcp@0.3.0","gitHead":"6203927ca654143ef980182ae316c1a6e65a7ea4","_nodeVersion":"20.20.2","_npmVersion":"10.8.2","dist":{"integrity":"sha512-P6xspoeVu3oHu8OJkT1LIuF+kWUiUUOFP1LgYW+J3tt14keK1THxqymCQVGdlYmoXXQhqMyc50oVEguKQ/PYKA==","shasum":"9184c6c67b6d1f9a6275116fd15c860d914074c2","tarball":"https://registry.npmjs.org/@leanspec/mcp/-/mcp-0.3.0.tgz","fileCount":14,"unpackedSize":7294849,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIBOLh6Gn+Mne2Ggy7UtSYQXn/yWiU0WVLWBRd0lmkhvUAiBqRSEL3z7MzWQibpby8H23vWvZOhn/oQkyuHFf09negA=="}]},"_npmUser":{"name":"crawlab","email":"tikazyq@163.com"},"directories":{},"maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/mcp_0.3.0_1779256828673_0.018402987553024497"},"_hasShrinkwrap":false}},"time":{"created":"2025-11-18T06:15:11.595Z","modified":"2026-05-20T06:00:29.051Z","0.2.4":"2025-11-18T06:15:11.872Z","0.2.5":"2025-11-18T06:16:56.011Z","0.2.4-dev.20251118080109":"2025-11-18T08:02:01.635Z","0.2.4-dev.20251118091714":"2025-11-18T09:18:08.989Z","0.2.5-dev.20251118134144":"2025-11-18T13:42:57.781Z","0.2.5-dev.20251118143726":"2025-11-18T14:38:38.393Z","0.2.5-dev.20251118144146":"2025-11-18T14:43:00.509Z","0.2.5-dev.20251118144856":"2025-11-18T14:50:09.630Z","0.2.5-dev.20251119010817":"2025-11-19T01:09:32.354Z","0.2.5-dev.20251119014122":"2025-11-19T01:42:39.864Z","0.2.5-dev.20251119022856":"2025-11-19T02:30:11.762Z","0.2.5-dev.20251119025751":"2025-11-19T02:59:06.839Z","0.2.5-dev.20251119032109":"2025-11-19T03:22:23.427Z","0.2.5-dev.20251119062438":"2025-11-19T06:25:52.504Z","0.2.5-dev.20251120015656":"2025-11-20T01:58:12.733Z","0.2.5-dev.20251120022746":"2025-11-20T02:29:00.177Z","0.2.5-dev.20251120023349":"2025-11-20T02:35:06.705Z","0.2.5-dev.20251120031921":"2025-11-20T03:20:36.347Z","0.2.5-dev.20251120052253":"2025-11-20T05:24:07.624Z","0.2.5-dev.20251120054404":"2025-11-20T05:45:17.705Z","0.2.5-dev.20251120060929":"2025-11-20T06:10:43.294Z","0.2.5-dev.20251120070726":"2025-11-20T07:08:40.853Z","0.2.5-dev.20251120072524":"2025-11-20T07:26:39.097Z","0.2.5-dev.20251120093243":"2025-11-20T09:34:00.167Z","0.2.5-dev.20251121093721":"2025-11-21T09:38:39.528Z","0.2.5-dev.20251122121758":"2025-11-22T12:19:17.075Z","0.2.5-dev.20251122151927":"2025-11-22T15:20:43.736Z","0.2.5-dev.20251124023705":"2025-11-24T02:38:23.343Z","0.2.5-dev.20251124033525":"2025-11-24T03:36:44.644Z","0.2.5-dev.20251124033751":"2025-11-24T03:39:08.162Z","0.2.5-dev.20251124044002":"2025-11-24T04:41:18.751Z","0.2.5-dev.20251124045153":"2025-11-24T04:53:08.454Z","0.2.5-dev.20251124050427":"2025-11-24T05:05:43.743Z","0.2.5-dev.20251124054130":"2025-11-24T05:42:42.601Z","0.2.5-dev.20251124054449":"2025-11-24T05:46:05.135Z","0.2.5-dev.20251124060913":"2025-11-24T06:10:31.437Z","0.2.5-dev.20251124062211":"2025-11-24T06:23:27.421Z","0.2.5-dev.20251124064307":"2025-11-24T06:44:30.315Z","0.2.5-dev.20251124070920":"2025-11-24T07:10:39.589Z","0.2.5-dev.20251124073254":"2025-11-24T07:34:13.420Z","0.2.5-dev.20251125010225":"2025-11-25T01:03:43.572Z","0.2.6":"2025-11-25T01:04:29.000Z","0.2.6-dev.20251125010539":"2025-11-25T01:06:56.441Z","0.2.6-dev.20251125015611":"2025-11-25T01:57:26.208Z","0.2.6-dev.20251125022459":"2025-11-25T02:26:21.814Z","0.2.6-dev.20251125033622":"2025-11-25T03:37:38.861Z","0.2.6-dev.20251125064907":"2025-11-25T06:50:19.326Z","0.2.6-dev.20251125070051":"2025-11-25T07:02:08.066Z","0.2.6-dev.20251125070417":"2025-11-25T07:05:33.031Z","0.2.6-dev.20251125092039":"2025-11-25T09:22:08.394Z","0.2.6-dev.20251125092944":"2025-11-25T09:31:01.208Z","0.2.6-dev.20251125100207":"2025-11-25T10:03:28.082Z","0.2.6-dev.20251125125653":"2025-11-25T12:58:15.509Z","0.2.6-dev.20251126022313":"2025-11-26T02:24:34.213Z","0.2.6-dev.20251126022840":"2025-11-26T02:30:03.994Z","0.2.6-dev.20251126030344":"2025-11-26T03:05:10.978Z","0.2.6-dev.20251126033915":"2025-11-26T03:40:38.300Z","0.2.6-dev.20251126060744":"2025-11-26T06:09:06.304Z","0.2.6-dev.20251126062137":"2025-11-26T06:22:58.357Z","0.2.6-dev.20251126063304":"2025-11-26T06:34:29.704Z","0.2.6-dev.20251126063615":"2025-11-26T06:37:35.750Z","0.2.6-dev.20251126064548":"2025-11-26T06:47:14.921Z","0.2.7-dev.20251126090057":"2025-11-26T09:02:13.515Z","0.2.7-dev.20251126090633":"2025-11-26T09:07:59.893Z","0.2.7":"2025-11-26T10:08:14.808Z","0.2.7-dev.20251126100750":"2025-11-26T10:09:17.305Z","0.2.7-dev.20251126145902":"2025-11-26T15:00:26.277Z","0.2.7-dev.20251127013944":"2025-11-27T01:41:09.857Z","0.2.7-dev.20251127021524":"2025-11-27T02:16:45.103Z","0.2.7-dev.20251127021753":"2025-11-27T02:19:18.893Z","0.2.7-dev.20251127023144":"2025-11-27T02:33:11.040Z","0.2.7-dev.20251127024801":"2025-11-27T02:49:26.433Z","0.2.7-dev.20251127055844":"2025-11-27T06:00:13.735Z","0.2.7-dev.20251127073145":"2025-11-27T07:33:10.965Z","0.2.7-dev.20251127073850":"2025-11-27T07:40:12.836Z","0.2.7-dev.20251127082201":"2025-11-27T08:23:22.612Z","0.2.7-dev.20251127084251":"2025-11-27T08:44:14.397Z","0.2.7-dev.20251128011647":"2025-11-28T01:18:08.333Z","0.2.7-dev.20251128013112":"2025-11-28T01:32:41.221Z","0.2.7-dev.20251128014554":"2025-11-28T01:47:18.380Z","0.2.7-dev.20251128015707":"2025-11-28T01:58:31.449Z","0.2.7-dev.20251128020042":"2025-11-28T02:02:06.916Z","0.2.8":"2025-11-28T09:12:41.783Z","0.2.9":"2025-12-04T07:53:32.498Z","0.2.9-dev.20251205030455":"2025-12-05T03:07:07.563Z","0.2.10":"2025-12-05T06:38:14.652Z","0.2.15-dev.21022397862":"2026-01-15T06:53:57.174Z","0.2.15-dev.21025278490":"2026-01-15T08:59:42.530Z","0.2.15-dev.21026674201":"2026-01-15T09:49:11.607Z","0.2.17-dev.21033364960":"2026-01-15T13:49:20.492Z","0.2.17-dev.21035738990":"2026-01-15T15:08:12.771Z","0.2.17-dev.21036599661":"2026-01-15T15:34:14.725Z","0.2.18":"2026-01-16T06:22:06.183Z","0.2.18-dev.21126840699":"2026-01-19T05:59:10.523Z","0.2.19":"2026-01-19T06:33:50.997Z","0.2.19-dev.21166357960":"2026-01-20T09:40:43.763Z","0.2.19-dev.21196353066":"2026-01-21T03:49:12.129Z","0.2.19-dev.21202485632":"2026-01-21T08:36:55.818Z","0.2.19-dev.21234656432":"2026-01-22T03:23:26.667Z","0.2.19-dev.21234803493":"2026-01-22T03:31:06.666Z","0.2.19-dev.21251648522":"2026-01-22T14:23:17.946Z","0.2.19-dev.21275378865":"2026-01-23T05:21:01.902Z","0.2.19-dev.21287601001":"2026-01-23T13:32:12.175Z","0.2.19-dev.21349915626":"2026-01-26T07:51:37.744Z","0.2.19-dev.21382316476":"2026-01-27T02:47:07.739Z","0.2.19-dev.21387117168":"2026-01-27T06:42:23.837Z","0.2.19-dev.21387450109":"2026-01-27T06:58:51.569Z","0.2.19-dev.21388397943":"2026-01-27T07:43:39.828Z","0.2.19-dev.21389425071":"2026-01-27T08:20:43.954Z","0.2.20":"2026-01-27T08:49:48.583Z","0.2.21":"2026-01-27T09:50:10.408Z","0.2.21-dev.21574608473":"2026-02-02T02:03:59.181Z","0.2.21-dev.21575245759":"2026-02-02T02:41:28.218Z","0.2.22":"2026-02-02T05:29:03.110Z","0.2.23":"2026-02-03T08:52:11.685Z","0.2.24":"2026-02-23T03:38:17.949Z","0.2.25":"2026-02-27T14:03:55.548Z","0.2.26":"2026-03-04T02:27:18.119Z","0.2.27":"2026-03-09T13:58:08.554Z","0.2.28-dev.23044283727":"2026-03-13T09:33:03.182Z","0.2.28":"2026-03-23T03:02:51.049Z","0.3.0":"2026-05-20T06:00:28.949Z"},"bugs":{"url":"https://github.com/codervisor/leanspec/issues"},"author":{"name":"Marvin Zhang"},"license":"MIT","homepage":"https://lean-spec.dev","keywords":["leanspec","mcp","model-context-protocol","ai","agent","spec"],"repository":{"type":"git","url":"git+https://github.com/codervisor/leanspec.git"},"description":"Model Context Protocol server for LeanSpec — adapter-aware spec management for AI agents","maintainers":[{"name":"crawlab","email":"tikazyq@163.com"}],"readme":"ERROR: No README data found!","readmeFilename":""}