MCPcopy Create free account

hub / github.com/agenticsorg/lean-agentic / types & classes

Types & classes284 in github.com/agenticsorg/lean-agentic

⨍ Functions 1,015◇ Types & classes 284
↓ 6 callersEnumError
lean-agentic/src/lib.rs:32
↓ 2 callersClassIdent
leanr-syntax/src/ast.rs:108
↓ 1 callersClassParam
leanr-syntax/src/ast.rs:99
↓ 1 callersClassPing
runtime/benches/message_passing.rs:14
↓ 1 callersEnumPolicyViolation
leanr-rag-gateway/src/policy.rs:29
↓ 1 callersClassRequest
runtime/benches/orchestration.rs:28
Class
npm/lean-agentic/wasm-web/leanr_wasm.js:129
Class
npm/lean-agentic/wasm-web/leanr_wasm.d.ts:14
Class
npm/lean-agentic/wasm-node/leanr_wasm.js:123
Class
npm/lean-agentic/wasm-node/leanr_wasm.d.ts:14
Class
npm/lean-agentic/src/index.js:23
Class
npm/lean-agentic/src/agentdb-integration.js:20
Class
npm/lean-agentic/src/web.js:33
Class
npm/lean-agentic/src/node.js:14
Class
npm/lean-agentic/src/agentdb-integration-simple.js:11
Class
npm/lean-agentic/mcp/test-client.js:13
Class
npm/lean-agentic/mcp/server.js:30
Class
examples/wasm-demo/leanr_wasm.js:129
ClassAccessCheckResult
leanr-rag-gateway/src/lib.rs:210
EnumAction
runtime/examples/trading_swarm.rs:21
ClassAgentDb
AgentDB main interface
src/agentdb/mod.rs:145
ClassAgentDbConfig
src/agentdb/mod.rs:20
ClassAgentIdentity
examples/ed25519_proof_signing.rs:18
ClassAgentProfile
runtime/src/profile.rs:9
ClassAgentRef
runtime/src/orchestration.rs:29
ClassAgentRole
examples/finance/verified_finance_agent.rs:41
ClassArena
Arena for interning terms with hash-consing
lean-agentic/src/arena.rs:10
ClassArenaStats
lean-agentic/src/arena.rs:23
ClassAttributes
lean-agentic/src/environment.rs:12
EnumAuditEvent
leanr-rag-gateway/src/audit.rs:7
ClassAuditLog
leanr-rag-gateway/src/audit.rs:39
ClassAwaitable
3. Await: Future wrapper
runtime/src/orchestration.rs:80
ClassAxiomDecl
leanr-syntax/src/ast.rs:50
ClassBenchmarkResult
tests/benchmarks/benchmark_suite.rs:14
ClassBinder
lean-agentic/src/term.rs:28
EnumBinderInfo
lean-agentic/src/term.rs:44
ClassBrowserTheoremProver
AI-assisted theorem prover
examples/05_browser_theorem_prover.rs:71
ClassCachedProof
examples/05_browser_theorem_prover.rs:85
EnumCapability
examples/finance/verified_finance_agent.rs:26
ClassCausalEdge
examples/memory-copilot/explainable_memory.rs:42
ClassCausalGraph
src/agentdb/causal_graph.rs:7
ClassChannelReceiver
runtime/src/orchestration.rs:122
ClassChannelSender
runtime/src/orchestration.rs:108
ClassChurchRosser
leanr-theorems/src/confluence.rs:250
ClassChurchRosserStats
leanr-theorems/src/confluence.rs:336
ClassChurchRosserWasm
leanr-theorems/src/wasm.rs:12
ClassCitation
leanr-rag-gateway/src/lib.rs:64
ClassClusterHealth
examples/04_self_healing_database.rs:295
ClassConfluenceProof
leanr-theorems/src/confluence.rs:321
ClassConsistencyProof
examples/04_self_healing_database.rs:48
EnumConstraint
lean-agentic/src/unification.rs:56
ClassConstructor
leanr-syntax/src/ast.rs:71
ClassConstructorDecl
lean-agentic/src/environment.rs:192
ClassContext
lean-agentic/src/context.rs:46
ClassContextEntry
lean-agentic/src/context.rs:10
ClassContextGuard
RAII guard for context management Automatically pops entries when dropped
lean-agentic/src/context.rs:143
ClassControlCommand
examples/grid-operator/safety_bounded_grid.rs:73
ClassConversionStats
lean-agentic/src/conversion.rs:34
ClassConverter
Conversion checker with WHNF evaluation
lean-agentic/src/conversion.rs:21
ClassCostAwareRouter
leanr-rag-gateway/src/router.rs:53
ClassCostBudget
src/multi-lane/mod.rs:59
ClassCostModel
Cost model for speedup estimation
src/llm-compiler/auto_vectorization.rs:179
ClassCostRecord
src/multi-lane/cost_tracker.rs:27
ClassCostStats
src/multi-lane/cost_tracker.rs:17
ClassCostTracker
Cost tracker
src/multi-lane/cost_tracker.rs:36
ClassDataFlowEdge
src/llm-compiler/auto_vectorization.rs:45
ClassDatabaseNode
examples/04_self_healing_database.rs:23
EnumDecl
leanr-syntax/src/ast.rs:9
EnumDeclKind
lean-agentic/src/environment.rs:87
ClassDeclaration
lean-agentic/src/environment.rs:65
ClassDefDecl
leanr-syntax/src/ast.rs:28
EnumDependencyType
src/llm-compiler/auto_vectorization.rs:52
ClassDiamondProof
leanr-theorems/src/confluence.rs:235
ClassDiamondProperty
leanr-theorems/src/confluence.rs:167
ClassDistilledPattern
src/agentdb/reasoning_bank.rs:65
ClassElabContext
leanr-elab/src/context.rs:21
ClassElabError
leanr-elab/src/elaborate.rs:18
ClassElaborator
Bidirectional elaborator
leanr-elab/src/elaborate.rs:40
ClassEntity
examples/memory-copilot/explainable_memory.rs:32
ClassEnvironment
Global environment
lean-agentic/src/environment.rs:204
ClassEpisode
src/agentdb/mod.rs:65
ClassEpisode
examples/memory-copilot/explainable_memory.rs:21
ClassEpisodeStore
src/agentdb/episode_store.rs:7
ClassEvalConfig
leanr-eval-lite/src/lib.rs:64
EnumEvalError
leanr-eval-lite/src/lib.rs:31
EnumExpr
leanr-syntax/src/ast.rs:121
ClassField
leanr-syntax/src/ast.rs:91
ClassFinanceAgent
Finance agent with capability checking
examples/finance/verified_finance_agent.rs:174
ClassFinanceProof
examples/finance/verified_finance_agent.rs:87
EnumFinancialAction
examples/finance/verified_finance_agent.rs:56
ClassFunctionState
src/jit-runtime/mod.rs:31
EnumGatewayError
leanr-rag-gateway/src/lib.rs:216
ClassGnnEncoder
Graph Neural Network encoder
src/llm-compiler/auto_vectorization.rs:145
ClassGraphNode
src/llm-compiler/auto_vectorization.rs:29
ClassGridCellOperator
Grid cell operator with safety verification
examples/grid-operator/safety_bounded_grid.rs:130
ClassHashConsArena
Hash-consing arena implementing the quotient algebra T̂ Invariant 1 (Uniqueness): Each structural term appears exactly once Invariant 2 (Pointer Equa
leanr-theorems/src/hashcons_confluence.rs:52
ClassHashConsConfluenceProof
leanr-theorems/src/hashcons_confluence.rs:219
ClassHashConsConfluenceProver
Hash-Consing Confluence Prover This implements our novel theorem
leanr-theorems/src/hashcons_confluence.rs:239
ClassHnswIndex
In-memory HNSW implementation for development TODO: Replace with actual Qdrant client for production
src/agentdb/vector_store.rs:109
ClassImplicitHandler
Implicit argument handler
leanr-elab/src/implicit.rs:10
next →1–100 of 284, ranked by callers