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

↓ 1 callersMethodnext_token

Get the next token

leanr-syntax/src/lexer.rs:180

↓ 1 callersFunctionnum_cpus

()

runtime/src/primitives.rs:33

↓ 1 callersMethodoptimize_function

( &self, function_id: &str, target_tier: JitTier, )

src/jit-runtime/mod.rs:149

↓ 1 callersMethodparse_arrow_expr

Parse arrow type: A -> B

leanr-syntax/src/parser.rs:322

↓ 1 callersMethodparse_axiom

Parse axiom declaration

leanr-syntax/src/parser.rs:128

↓ 1 callersMethodparse_constructor

Parse a constructor

leanr-syntax/src/parser.rs:189

↓ 1 callersMethodparse_decl

Parse a single declaration

leanr-syntax/src/parser.rs:55

↓ 1 callersMethodparse_def

Parse def declaration: def name params : type := body

leanr-syntax/src/parser.rs:72

↓ 1 callersMethodparse_inductive

Parse inductive declaration

leanr-syntax/src/parser.rs:150

↓ 1 callersMethodparse_lambda_expr

Parse lambda: fun x => body

leanr-syntax/src/parser.rs:356

↓ 1 callersMethodparse_lambda_params

Parse lambda parameters (simpler than def params)

leanr-syntax/src/parser.rs:371

↓ 1 callersMethodparse_let_expr

Parse let expression

leanr-syntax/src/parser.rs:431

↓ 1 callersMethodparse_match_expr

Parse match expression

leanr-syntax/src/parser.rs:464

↓ 1 callersMethodparse_pattern

Parse a pattern

leanr-syntax/src/parser.rs:595

↓ 1 callersMethodparse_structure

Parse structure declaration

leanr-syntax/src/parser.rs:211

↓ 1 callersMethodparse_theorem

(&mut self, theorem: &str)

examples/05_browser_theorem_prover.rs:174

↓ 1 callersMethodparse_theorem

Parse theorem declaration

leanr-syntax/src/parser.rs:102

↓ 1 callersFunctionpassStringToWasm0

(arg, malloc, realloc)

npm/lean-agentic/wasm-web/leanr_wasm.js:48

↓ 1 callersFunctionpassStringToWasm0

(arg, malloc, realloc)

npm/lean-agentic/wasm-node/leanr_wasm.js:42

↓ 1 callersFunctionpassStringToWasm0

(arg, malloc, realloc)

examples/wasm-demo/leanr_wasm.js:48

↓ 1 callersMethodperform_parallel_reduction

Perform parallel reduction (simplified for demo)

leanr-theorems/src/confluence.rs:102

↓ 1 callersMethodpoll

(mut self: Pin<&mut Self>, cx: &mut Context<'_>)

runtime/src/orchestration.rs:87

↓ 1 callersMethodprecision_at_k

Get precision at k metric

examples/memory-copilot/explainable_memory.rs:306

↓ 1 callersMethodpredict

(&self, embedding: &[f32])

src/llm-compiler/auto_vectorization.rs:171

↓ 1 callersMethodprint_report

(&self)

tests/benchmarks/benchmark_suite.rs:57

↓ 1 callersFunctionprint_summary

Print summary report

tests/benchmarks/benchmark_suite.rs:427

↓ 1 callersFunctionrand

()

tests/benchmarks/benchmark_suite.rs:339

↓ 1 callersMethodrecordProofAttempt

* Record a proof attempt with episodic memory

npm/lean-agentic/src/agentdb-integration.js:138

↓ 1 callersMethodrelease

Release lease

runtime/src/orchestration.rs:254

↓ 1 callersMethodrepair_tests

(&self, tests: &[String])

src/llm-compiler/test_synthesis.rs:47

↓ 1 callersMethodresolve

Resolve a symbol ID to its string

lean-agentic/src/symbol.rs:101

↓ 1 callersMethodrestore

Restore context to a previous mark

lean-agentic/src/context.rs:135

↓ 1 callersMethodretrieve_and_generate

Retrieve relevant documents and generate answer

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

↓ 1 callersFunctionrunNextTest

()

npm/lean-agentic/tests/theorems/run-all-tests.js:26

↓ 1 callersMethodrunTests

* Run test sequence

npm/lean-agentic/mcp/test-client.js:72

↓ 1 callersFunctionrun_all_benchmarks

Run all benchmarks

tests/benchmarks/benchmark_suite.rs:395

↓ 1 callersMethodsearchSimilarTheorems

(query, options = {})

npm/lean-agentic/src/agentdb-integration-simple.js:87

↓ 1 callersMethodsearch_proof

( &mut self, state: &mut ProofState, tactics: Vec<String>, )

examples/05_browser_theorem_prover.rs:255

↓ 1 callersMethodselect_best_lane

( &self, candidates: &[&InferenceLane], request: &InferenceRequest, budget: &C

src/multi-lane/mod.rs:195

↓ 1 callersMethodselect_lane

( &self, latency_sla_ms: u64, cost_budget_usd: f64, )

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

↓ 1 callersMethodselect_optimal_lane

(&self, data_size: usize)

examples/03_ai_verified_scraper.rs:168

↓ 1 callersMethodself_heal

Self-healing: Detect and recover from failures

examples/04_self_healing_database.rs:187

↓ 1 callersFunctionsetup

()

tests/elaboration/test_simple.rs:10

↓ 1 callersFunctionshard_benchmark

(shard_count: usize, operation_count: usize)

runtime/benches/orchestration.rs:55

↓ 1 callersMethodshare

Clone if not unique (Val capability)

runtime/src/capabilities.rs:118

↓ 1 callersMethodshare

Share immutable message (Val capability allows cloning)

runtime/src/message.rs:56

↓ 1 callersMethodshift_above

Shift indices above cutoff

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

↓ 1 callersMethodshould_optimize

(&self, state: &FunctionState)

src/jit-runtime/mod.rs:116

↓ 1 callersFunctionsignal

( agent: &AgentRef<T>, msg: Message<T, Cap>, )

runtime/src/orchestration.rs:72

↓ 1 callersMethodsimulate

Simulate command execution

examples/grid-operator/safety_bounded_grid.rs:212

↓ 1 callersMethodsimulate_ai_extraction

(&self, _url: &str, prompt: &str)

examples/03_ai_verified_scraper.rs:179

↓ 1 callersFunctionsimulate_pod_failure

()

tests/benchmarks/benchmark_suite.rs:365

↓ 1 callersMethodsimulate_proof_check

Simulate proof kernel verification (placeholder)

examples/ed25519_proof_signing.rs:174

↓ 1 callersFunctionsimulate_recovery

()

tests/benchmarks/benchmark_suite.rs:370

↓ 1 callersMethodsimulate_trade

Simulate trade to check risk

examples/trading/risk_bounded_trading.rs:228

↓ 1 callersMethodskip_whitespace

Skip whitespace

leanr-syntax/src/lexer.rs:283

↓ 1 callersMethodsolve_unify

Solve a unification constraint

lean-agentic/src/unification.rs:141

↓ 1 callersFunctionspawn_benchmark

(agent_count: usize)

runtime/benches/scheduler.rs:11

↓ 1 callersMethodstart

* Start the MCP server

npm/lean-agentic/mcp/test-client.js:22

↓ 1 callersMethodstart

* Start the stdio server

npm/lean-agentic/mcp/server.js:775

↓ 1 callersMethodstore_fact

Store semantic fact

src/agentdb/mod.rs:240

↓ 1 callersMethodsubmit_with_priority

Submit task with priority

runtime/src/scheduler.rs:206

↓ 1 callersMethodsubstitute

Substitute a term for de Bruijn index 0

leanr-elab/src/elaborate.rs:578

↓ 1 callersMethodsubstitute

Substitute term for variable Implements: body[var := replacement]

leanr-theorems/src/hashcons_confluence.rs:147

↓ 1 callersMethodsubstitution

Get the current substitution

lean-agentic/src/unification.rs:306

↓ 1 callersMethodsynthesize

(&self, function_code: &str)

src/llm-compiler/test_synthesis.rs:17

↓ 1 callersMethodtheoretical_speedup

(&self)

leanr-theorems/src/hashcons_confluence.rs:192

↓ 1 callersFunctionthroughput_benchmark

(message_count: usize)

runtime/benches/message_passing.rs:38

↓ 1 callersMethodto_audit_bundle

(&self)

examples/memory-copilot/explainable_memory.rs:60

↓ 1 callersMethodto_audit_record

(&self)

examples/trading/risk_bounded_trading.rs:99

↓ 1 callersMethodto_receipt

(&self)

examples/finance/verified_finance_agent.rs:102

↓ 1 callersMethodto_safety_report

(&self)

examples/grid-operator/safety_bounded_grid.rs:99

↓ 1 callersMethodtrace_causal_path

(&self, episode: &Episode)

src/agentdb/causal_graph.rs:38

↓ 1 callersMethodtruncate

Truncate the context to a specific length

lean-agentic/src/context.rs:125

↓ 1 callersMethodtype_of

Get the type of a variable by de Bruijn index

lean-agentic/src/context.rs:93

↓ 1 callersMethodunrealized_pnl

(&self)

examples/trading/risk_bounded_trading.rs:157

↓ 1 callersMethodupdate

( &self, provider: Provider, latency: Duration, cost: f32, )

src/multi-lane/performance_predictor.rs:21

↓ 1 callersMethodupdate_avg_latency

(&mut self, latency_ns: u64)

runtime/src/primitives.rs:76

↓ 1 callersMethodvalidate_suggestions

( &self, suggestions: &[OptimizationSuggestion], )

src/llm-compiler/mod.rs:149

↓ 1 callersMethodvalue_of

Get the value of a variable (if it's a let binding)

lean-agentic/src/context.rs:98

↓ 1 callersMethodverified_add

Add two natural numbers with proof that result is correct

examples/02_verified_calculator.rs:44

↓ 1 callersMethodverified_multiply

Multiply with proof of result bounds

examples/02_verified_calculator.rs:73

↓ 1 callersMethodverified_write

Write with Byzantine fault tolerance and consistency proof

examples/04_self_healing_database.rs:97

↓ 1 callersFunctionverify_balance

(_entries: usize)

tests/benchmarks/benchmark_suite.rs:230

↓ 1 callersMethodverify_domain

(&self, url: &str)

examples/03_ai_verified_scraper.rs:136

↓ 1 callersMethodverify_full

Simulate full verification (crypto + mathematical)

examples/ed25519_proof_signing.rs:153

↓ 1 callersMethodverify_ltl_properties

( &self, _proof: &TermId, properties: &[LTLFormula], )

examples/05_browser_theorem_prover.rs:292

↓ 1 callersMethodverify_no_pii

(&self, data: &str)

examples/03_ai_verified_scraper.rs:145

↓ 1 callersFunctionverify_proof

(_claims: Vec<&str>, _witness: &str)

tests/benchmarks/benchmark_suite.rs:275

↓ 1 callersMethodverify_rate_limit

(&self)

examples/03_ai_verified_scraper.rs:157

↓ 1 callersMethodverify_semantic_equivalence

( &self, original: &str, optimized: &str, )

src/llm-compiler/smt_validation.rs:12

↓ 1 callersMethodwhnf_uncached

WHNF reduction without caching

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

Function__wbg_init

(module_or_path)

npm/lean-agentic/wasm-web/leanr_wasm.js:323

Function__wbg_init

(module_or_path)

examples/wasm-demo/leanr_wasm.js:323

Methodadd_inductive

Add an inductive type

lean-agentic/src/environment.rs:249

Methodage_days

(&self)

src/agentdb/mod.rs:106

Methodall_solved

Check if all metavariables are solved

leanr-elab/src/metavar.rs:95

Methodallow_user

(user_id: &str)

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

Methodanalyze_code

Analyze code and suggest optimizations

src/llm-compiler/mod.rs:94

Methodas_str

(&self)

src/multi-lane/mod.rs:31

← previous next →401–500 of 1,015, ranked by callers