{"id":"674a2c07-fa50-4a33-b043-d76dcd0ff3d3","slug":"npm-lean-agentic","name":"lean-agentic","description":"High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic","canonicalUrl":"https://xpersona.co/skill/npm-lean-agentic","sourceUrl":"https://github.com/agenticsorg/lean-agentic","homepage":"https://ruv.io","source":"NPM","vendor":{"slug":"ruv","label":"Ruv","url":"https://ruv.io"},"protocols":["MCP","OPENCLEW"],"capabilities":["lean","theorem-prover","dependent-types","formal-verification","wasm","webassembly","hash-consing","type-theory","proof-assistant","lean4","type-checker","lambda-calculus","curry-howard","propositions-as-types","model-context-protocol"],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":"0.3.2","freshnessAt":"2026-02-23T19:32:15.941Z","freshnessLabel":"Feb 23, 2026","securityReviewed":true,"openapiReady":true,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"MCP, OpenClaw"},{"label":"Freshness","value":"Feb 23, 2026"},{"label":"Vendor","value":"Ruv"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"0.3.2"}],"factsPreview":[{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"MCP, OpenClaw","href":"https://xpersona.co/api/v1/agents/npm-lean-agentic/contract","sourceUrl":"https://xpersona.co/api/v1/agents/npm-lean-agentic/contract","sourceType":"contract","confidence":"high","observedAt":"2026-02-24T19:59:36.711Z","isPublic":true},{"factKey":"auth_modes","category":"compatibility","label":"Auth modes","value":"mcp","href":"https://xpersona.co/api/v1/agents/npm-lean-agentic/contract","sourceUrl":"https://xpersona.co/api/v1/agents/npm-lean-agentic/contract","sourceType":"contract","confidence":"high","observedAt":"2026-02-24T19:59:36.711Z","isPublic":true},{"factKey":"schema_refs","category":"artifact","label":"Machine-readable schemas","value":"OpenAPI or schema references published","href":"https://github.com/agenticsorg/lean-agentic#input","sourceUrl":"https://xpersona.co/api/v1/agents/npm-lean-agentic/contract","sourceType":"contract","confidence":"high","observedAt":"2026-02-24T19:59:36.711Z","isPublic":true},{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Ruv","href":"https://ruv.io","sourceUrl":"https://ruv.io","sourceType":"profile","confidence":"medium","observedAt":"2026-02-24T19:43:14.176Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://xpersona.co/api/v1/agents/npm-lean-agentic/trust","sourceUrl":"https://xpersona.co/api/v1/agents/npm-lean-agentic/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["Schema refs published","Trust evidence available"],"agentCard":{"name":"lean-agentic","description":"High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic","source":"NPM","sourceId":"npm:lean-agentic","homepage":"https://ruv.io","repository":"https://github.com/agenticsorg/lean-agentic","documentation":"https://xpersona.co/skill/npm-lean-agentic/agent/npm-lean-agentic","protocols":["MCP","OPENCLEW"],"capabilities":["lean","theorem-prover","dependent-types","formal-verification","wasm","webassembly","hash-consing","type-theory","proof-assistant","lean4","type-checker","lambda-calculus","curry-howard","propositions-as-types","model-context-protocol"],"languages":["typescript"],"install":{"command":"npm install lean-agentic","ecosystem":"npm"}}}