Functions — github.com/agenticsorg/lean-agentic

hub / github.com/agenticsorg/lean-agentic / functions

Functions1,015 in github.com/agenticsorg/lean-agentic

⨍ Functions 1,015◇ Types & classes 284

Functionmain

()

leanr-theorems/examples/hashcons_confluence_proof.rs:21

Functionmarket_analyzer

(mailbox: Mailbox<MarketEvent>)

runtime/examples/trading_swarm.rs:34

Methodmctx

Get the metavariable context

leanr-elab/src/implicit.rs:37

Methodmctx_mut

Get mutable metavariable context

leanr-elab/src/implicit.rs:42

Methodminimal

Create minimal config for testing

leanr-eval-lite/src/lib.rs:130

Methodneighbors

Get neighbors for agent

runtime/src/topology.rs:54

Methodnew

Create new statistics

leanr-eval-lite/src/reduction.rs:27

Methodnew

Create a new normalizer

leanr-eval-lite/src/normalize.rs:23

Methodnew

Create a new cache with given capacity

leanr-eval-lite/src/cache.rs:19

Methodnew

Create a new metavariable context

leanr-elab/src/metavar.rs:34

Methodnew

Create a new implicit handler

leanr-elab/src/implicit.rs:17

Methodnew

Create a new empty context

leanr-elab/src/context.rs:31

Methodnew

(message: String)

leanr-elab/src/elaborate.rs:23

Methodnew

(policies: Vec<Policy>)

leanr-rag-gateway/src/policy.rs:41

Methodnew

Create a new RAG gateway

leanr-rag-gateway/src/lib.rs:97

Methodnew

Create a new audit log

leanr-rag-gateway/src/audit.rs:45

Methodnew

()

leanr-rag-gateway/src/router.rs:58

Methodnew

Create a new proof certificate

leanr-rag-gateway/src/proof.rs:48

Methodnew

Create new LLM compiler

src/llm_compiler.rs:15

Methodnew

Create new multi-lane router

src/multi_lane.rs:15

Methodnew

Create new JIT runtime

src/jit_runtime.rs:15

Methodnew

Create new LLM Compiler instance

src/llm-compiler/mod.rs:78

Methodnew

(model_path: &str)

src/llm-compiler/xla_runtime.rs:11

Methodnew

()

src/llm-compiler/auto_vectorization.rs:87

Methodnew

()

src/llm-compiler/smt_validation.rs:8

Methodnew

()

src/llm-compiler/test_synthesis.rs:13

Methodnew

()

src/agentdb/causal_graph.rs:12

Methodnew

(_config: &crate::agentdb::AgentDbConfig)

src/agentdb/episode_store.rs:12

Methodnew

( id: EpisodeId, context: String, action: String, outcome: String, emb

src/agentdb/mod.rs:79

Methodnew

(config: &AgentDbConfig)

src/agentdb/vector_store.rs:29

Methodnew

()

src/agentdb/reasoning_bank.rs:92

Methodnew

()

src/multi-lane/performance_predictor.rs:14

Methodnew

(config: LaneRouterConfig)

src/multi-lane/mod.rs:114

Methodnew

()

src/multi-lane/lane_selector.rs:8

Methodnew

()

src/multi-lane/cost_tracker.rs:44

Methodnew

(config: JitRuntimeConfig)

src/jit-runtime/mod.rs:77

Methodnew

()

src/jit-runtime/profiling.rs:11

Methodnew

()

leanr-wasm/src/lib.rs:26

Methodnew

Create a new term arena

lean-agentic/src/arena.rs:36

Methodnew

Create a new type checker

lean-agentic/src/typechecker.rs:22

Methodnew

Create a new symbol ID (internal use only)

lean-agentic/src/symbol.rs:19

Methodnew

Create a new term ID (internal use only)

lean-agentic/src/term.rs:16

Methodnew

Create a new level ID (internal use only)

lean-agentic/src/level.rs:14

Methodnew

Create a new empty substitution

lean-agentic/src/unification.rs:21

Methodnew

Create a new empty environment

lean-agentic/src/environment.rs:217

Methodnew

Create a new context entry

lean-agentic/src/context.rs:23

Methodnew

Create a new converter with default fuel

lean-agentic/src/conversion.rs:50

Methodnew

(data: T)

runtime/src/capabilities.rs:86

Methodnew

Create new topology

runtime/src/topology.rs:31

Methodnew

Create new profile

runtime/src/profile.rs:52

Methodnew

()

runtime/src/primitives.rs:62

Methodnew

Create new runtime with default configuration

runtime/src/runtime.rs:29

Methodnew

Create new task

runtime/src/scheduler.rs:36

Methodnew

Create new agent reference

runtime/src/orchestration.rs:36

Methodnew

(payload: T)

runtime/src/message.rs:22

Methodnew

Create new mailbox with default configuration

runtime/src/mailbox.rs:59

Methodnew

()

examples/03_ai_verified_scraper.rs:63

Methodnew

()

examples/05_browser_theorem_prover.rs:92

Methodnew

Create new agent identity with Ed25519 keypair

examples/ed25519_proof_signing.rs:64

Methodnew

()

examples/02_verified_calculator.rs:34

Methodnew

(num_nodes: usize)

examples/04_self_healing_database.rs:70

Methodnew

(initial_cash: f64)

examples/trading/risk_bounded_trading.rs:134

Methodnew

()

examples/memory-copilot/explainable_memory.rs:89

Methodnew

()

examples/finance/verified_finance_agent.rs:132

Methodnew

(cell_id: String, envelope: SafetyEnvelope)

examples/grid-operator/safety_bounded_grid.rs:140

Methodnew

(span: Span, message: String)

leanr-syntax/src/parser.rs:18

Methodnew

Create a new span

leanr-syntax/src/span.rs:21

Methodnew

Create a new token

leanr-syntax/src/lexer.rs:24

Methodnew

(name: String, span: Span)

leanr-syntax/src/ast.rs:114

Methodnew

()

leanr-theorems/src/confluence.rs:69

Methodnew

Create a new hash-consing arena This initializes the quotient algebra T̂ = T/≡

leanr-theorems/src/hashcons_confluence.rs:65

Methodnew

()

leanr-theorems/src/wasm.rs:20

Methodnormalize

Reduce to normal form

leanr-theorems/src/hashcons_confluence.rs:168

Methodnum_constraints

Get the number of pending constraints

lean-agentic/src/unification.rs:316

Methodnum_decls

Get the number of declarations

lean-agentic/src/environment.rs:281

Methodopaque

Create attributes for an opaque definition

lean-agentic/src/environment.rs:39

Methodosr_compile_loop

On-stack replacement for hot loops

src/jit-runtime/mod.rs:268

Methodparam

Create a parameter level

lean-agentic/src/level.rs:126

Methodpop

Pop the most recent binding

lean-agentic/src/context.rs:70

Methodpredict_cost

(&self, provider: Provider, tokens: u32)

src/multi-lane/performance_predictor.rs:75

Methodpredict_exec_time

Predict next execution time

runtime/src/profile.rs:76

Methodpredict_latency

(&self, provider: Provider)

src/multi-lane/performance_predictor.rs:55

Methodpublic_key_hex

Export public key as hex

examples/ed25519_proof_signing.rs:139

Methodqueue_depths

Get current queue depths (for monitoring)

runtime/src/scheduler.rs:295

FunctionquickStart

()

npm/lean-agentic/src/index.js:65

FunctionquickStart

()

npm/lean-agentic/src/node.js:72

Functionquorum

5. Quorum: Coordinate N agents with threshold

runtime/src/orchestration.rs:136

Methodraw

Get the raw ID value

lean-agentic/src/symbol.rs:24

Methodraw

Get the raw ID value

lean-agentic/src/level.rs:19

Methodreasoning_stats

Get reasoning bank statistics

src/agentdb/mod.rs:262

Methodrecall

Retrieve relevant episodes with explainable recall

src/agentdb/mod.rs:188

Methodreceiver

Get receiver handle

runtime/src/mailbox.rs:84

Methodrecord_loop_iteration

(&self, loop_id: &str)

src/jit-runtime/profiling.rs:17

Methodrecord_type_feedback

Record type feedback for speculative optimization

src/jit-runtime/mod.rs:236

Methodrecursor

Create attributes for a recursor

lean-agentic/src/environment.rs:55

Methodreset

Reset all statistics

leanr-eval-lite/src/reduction.rs:50

Methodreset_fuel

Reset fuel to default

lean-agentic/src/conversion.rs:368

Methodreset_stats

Reset statistics

leanr-eval-lite/src/normalize.rs:264

Functionrisk_manager

(mailbox: Mailbox<TradeDecision>)

runtime/examples/trading_swarm.rs:53

Methodscheduler

Get scheduler reference

runtime/src/runtime.rs:99

← previous next →701–800 of 1,015, ranked by callers