← LeanData MCPSOURCE FILE ARCHIVE
Inside the package
LeanData MCP · 2 files · 969 Bytes · Oct 2, 2026 · 00:28 UTC
| File | Size |
|---|---|
.app.jsonSHA-25625800694c7d6dedad05e7f7648b8d4d7a24f52e3ef0bce54b93b4200b9c1d504 | 127 Bytes |
.codex-plugin/plugin.jsonSHA-256b84e1f0e9b619eeb9a9e3eee864e6011fe1800173e6f54245e93aea42379ee69 | 2.27 KB |
Files are archived as data; their code has not been executed. The package does not include private remote service code.