{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40lean-format/cli@1.0.0","name":"@lean-format/cli","description":"Command line interface for the LEAN data format","version":"1.0.0","softwareVersion":"1.0.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/lean-format/lean-v1","issueTracker":"https://github.com/lean-format/lean-v1/issues","url":"https://lean-format.github.io/lean-v1/","keywords":["lean","cli","format","parser","data","converter"],"programmingLanguage":{"@type":"ComputerLanguage","name":"TypeScript"},"maintainer":[{"@type":"Person","name":"leanformat"}],"author":[{"@type":"Person","name":"leanformat"}],"copyrightHolder":[{"@type":"Person","name":"leanformat"}],"dateCreated":"2025-11-21","dateModified":"2026-06-08","datePublished":"2025-11-21","copyrightYear":2025,"downloadUrl":"https://registry.npmjs.org/@lean-format/cli/-/cli-1.0.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"active","sameAs":["https://www.npmjs.com/package/@lean-format/cli/v/1.0.0"],"funder":[{"@type":"Organization","url":"https://github.com/sponsors/codecharlan"}]}