MCPcopy Create free account

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

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

⨍ Functions 1,015◇ Types & classes 284
↓ 2 callersMethodlearnFromProofs
* Learn from successful proofs using ReasoningBank
npm/lean-agentic/src/agentdb-integration.js:172
↓ 2 callersMethodlen
Get cache size
leanr-eval-lite/src/cache.rs:61
↓ 2 callersMethodlen
Get the number of entries in the context
lean-agentic/src/context.rs:75
↓ 2 callersMethodlookup
Look up a binding by name
leanr-elab/src/context.rs:61
↓ 2 callersMethodmask_pii
()
leanr-rag-gateway/src/policy.rs:23
↓ 2 callersMethodnormalize
Normalize a level (reduce max/imax where possible)
lean-agentic/src/level.rs:146
↓ 2 callersMethodoccurs_check
Check if a metavariable occurs in a term (occurs check)
lean-agentic/src/unification.rs:240
↓ 2 callersMethodparse_app_expr
Parse application: f x y z
leanr-syntax/src/parser.rs:498
↓ 2 callersMethodparse_atomic_expr
Parse atomic (primary) expression
leanr-syntax/src/parser.rs:519
↓ 2 callersMethodparse_decls
Parse a list of declarations
leanr-syntax/src/parser.rs:44
↓ 2 callersMethodparse_forall_expr
Parse forall: forall x : T, U
leanr-syntax/src/parser.rs:341
↓ 2 callersMethodpeek_char
Peek at next character
leanr-syntax/src/lexer.rs:420
↓ 2 callersMethodprove_confluence
Prove confluence using hash-consing This is the computational realization of our theorem! ## Theorem Application Given s →* t1 and s →* t2 in T, we
leanr-theorems/src/hashcons_confluence.rs:268
↓ 2 callersMethodprove_diamond
Prove diamond property for two parallel reductions Returns the common reduct `u` and the two reduction paths
leanr-theorems/src/confluence.rs:182
↓ 2 callersFunctionquorum_benchmark
(agent_count: usize, threshold: usize)
runtime/benches/orchestration.rs:23
↓ 2 callersMethodraw
Get the raw ID value
lean-agentic/src/term.rs:21
↓ 2 callersMethodrecord_message_send
(&mut self, latency_ns: u64)
runtime/src/primitives.rs:66
↓ 2 callersMethodrecord_spawn
(&mut self, latency_ns: u64)
runtime/src/primitives.rs:71
↓ 2 callersMethodrecv
(&self)
runtime/src/orchestration.rs:127
↓ 2 callersMethodroute
Route request to optimal lane
src/multi-lane/mod.rs:163
↓ 2 callersMethodsave
()
npm/lean-agentic/src/agentdb-integration-simple.js:51
↓ 2 callersMethodscrape_with_proofs
Scrape URL with AI assistance and formal safety proofs
examples/03_ai_verified_scraper.rs:86
↓ 2 callersMethodstart
Start scheduler workers
runtime/src/scheduler.rs:164
↓ 2 callersMethodstats
Get statistics
src/agentdb/reasoning_bank.rs:191
↓ 2 callersMethodstats
Get cost statistics
src/multi-lane/cost_tracker.rs:106
↓ 2 callersMethodstats
Get performance statistics
leanr-theorems/src/hashcons_confluence.rs:178
↓ 2 callersMethodstop
Stop scheduler
runtime/src/scheduler.rs:191
↓ 2 callersMethodstoreTheorem
* Store a theorem proof in the database
npm/lean-agentic/src/agentdb-integration.js:83
↓ 2 callersMethodsubmit
Submit task to scheduler
runtime/src/scheduler.rs:201
↓ 2 callersMethodsubstitute
Substitute term for variable at given de Bruijn index
leanr-eval-lite/src/normalize.rs:151
↓ 2 callersMethodtrack
Track a new trajectory
src/agentdb/reasoning_bank.rs:100
↓ 2 callersMethodunsolved
Get all unsolved metavariables
leanr-elab/src/metavar.rs:86
↓ 2 callersMethodupdate_drawdown
(&mut self)
examples/trading/risk_bounded_trading.rs:149
↓ 2 callersMethodverified_divide
Divide with proof of no division by zero
examples/02_verified_calculator.rs:101
↓ 2 callersMethodverified_read
Read with linearizability guarantee
examples/04_self_healing_database.rs:143
↓ 2 callersMethodverify
Verify consensus was reached
examples/ed25519_proof_signing.rs:217
↓ 2 callersMethodverify_conservation
Verify that total balance is conserved
examples/finance/verified_finance_agent.rs:159
↓ 1 callersMethod__destroy_into_raw
()
npm/lean-agentic/wasm-web/leanr_wasm.js:131
↓ 1 callersMethod__destroy_into_raw
()
npm/lean-agentic/wasm-node/leanr_wasm.js:125
↓ 1 callersMethod__destroy_into_raw
()
examples/wasm-demo/leanr_wasm.js:131
↓ 1 callersFunction__wbg_load
(module, imports)
npm/lean-agentic/wasm-web/leanr_wasm.js:223
↓ 1 callersFunction__wbg_load
(module, imports)
examples/wasm-demo/leanr_wasm.js:223
↓ 1 callersFunctionadd
(left: u64, right: u64)
leanr-inductive/src/lib.rs:1
↓ 1 callersFunctionadd
(left: u64, right: u64)
leanr-compat/src/lib.rs:1
↓ 1 callersMethodadd_episode
(&self, episode: &Episode)
src/agentdb/causal_graph.rs:26
↓ 1 callersMethodadjust_weights_for_priority
(&self, priority: RequestPriority)
src/multi-lane/mod.rs:236
↓ 1 callersMethodagents
Get all agents
runtime/src/topology.rs:66
↓ 1 callersMethodanalyzeProofPatterns
* Analyze patterns in proof strategies
npm/lean-agentic/src/agentdb-integration.js:214
↓ 1 callersMethodapply_tactic
(&self, tactic: &str, _state: &ProofState)
examples/05_browser_theorem_prover.rs:284
↓ 1 callersFunctionapply_temporal_decay
( episode_store: &Arc<EpisodeStore>, half_life_days: u32, )
src/agentdb/memory_consolidation.rs:44
↓ 1 callersFunctionbench_coordination_overhead
Benchmark coordination overhead
tests/benchmarks/benchmark_suite.rs:118
↓ 1 callersFunctionbench_incremental_compile
Benchmark incremental compilation
tests/benchmarks/benchmark_suite.rs:162
↓ 1 callersFunctionbench_message_passing
Benchmark message passing
tests/benchmarks/benchmark_suite.rs:97
↓ 1 callersFunctionbench_network_partition
Benchmark network partition handling
tests/benchmarks/benchmark_suite.rs:376
↓ 1 callersFunctionbench_policy_verification
Benchmark policy verification
tests/benchmarks/benchmark_suite.rs:235
↓ 1 callersFunctionbench_proof_compilation
Benchmark proof compilation
tests/benchmarks/benchmark_suite.rs:191
↓ 1 callersFunctionbench_proof_verification
Benchmark proof verification
tests/benchmarks/benchmark_suite.rs:258
↓ 1 callersFunctionbench_recovery_time
Benchmark recovery time
tests/benchmarks/benchmark_suite.rs:349
↓ 1 callersFunctionbench_spot_savings
Benchmark spot vs on-demand savings
tests/benchmarks/benchmark_suite.rs:311
↓ 1 callersFunctionbench_task_cost
Benchmark task cost
tests/benchmarks/benchmark_suite.rs:285
↓ 1 callersMethodbeta_reduce_simple
Simple β-reduction for demo
leanr-theorems/src/confluence.rs:119
↓ 1 callersMethodcache_hit_rate
Get cache hit rate
leanr-eval-lite/src/normalize.rs:254
↓ 1 callersMethodcalculateConfidence
* Calculate confidence in recommendations
npm/lean-agentic/src/agentdb-integration.js:311
↓ 1 callersMethodcalculate_kelly_position
Calculate optimal position size using Kelly criterion
examples/trading/risk_bounded_trading.rs:181
↓ 1 callersMethodcalculate_mutation_score
(&self, _tests: &[String], _mutants: &[String])
src/llm-compiler/test_synthesis.rs:57
↓ 1 callersMethodcalculate_variance
(&self)
src/multi-lane/cost_tracker.rs:145
↓ 1 callersFunctionchannel
4. Channel: Bounded MPMC channel (<50ns enqueue target)
runtime/src/orchestration.rs:102
↓ 1 callersFunctionchannel_benchmark
(message_count: usize)
runtime/benches/orchestration.rs:7
↓ 1 callersMethodcheck_budget
Check if action is within budget
examples/finance/verified_finance_agent.rs:221
↓ 1 callersMethodcheck_capability
Check if agent has capability for action
examples/finance/verified_finance_agent.rs:194
↓ 1 callersMethodcheck_drawdown
Check if trade would violate drawdown limit
examples/trading/risk_bounded_trading.rs:220
↓ 1 callersMethodcheck_envelope
Check if safety envelope is satisfied
examples/grid-operator/safety_bounded_grid.rs:162
↓ 1 callersMethodcheck_failsafe
Check if failsafe is ready
examples/grid-operator/safety_bounded_grid.rs:202
↓ 1 callersMethodcheck_human_exclusion
Check if humans are excluded from operation zone
examples/grid-operator/safety_bounded_grid.rs:168
↓ 1 callersMethodcheck_mandate
Check if trade satisfies mandate
examples/trading/risk_bounded_trading.rs:199
↓ 1 callersFunctioncheck_policy
(_user: &str, _resource: &str, _action: &str)
tests/benchmarks/benchmark_suite.rs:253
↓ 1 callersMethodcheck_quota
Check if request would exceed quota
src/multi-lane/cost_tracker.rs:169
↓ 1 callersMethodcheck_torque
Check if torque is within limits
examples/grid-operator/safety_bounded_grid.rs:197
↓ 1 callersMethodclear
Clear the cache
leanr-eval-lite/src/cache.rs:55
↓ 1 callersFunctioncluster_episodes
(episodes: &[Episode])
src/agentdb/memory_consolidation.rs:34
↓ 1 callersFunctioncompile_and_replace
On-Stack Replacement for hot loops
src/jit-runtime/osr.rs:3
↓ 1 callersMethodcompile_baseline
( &self, function_id: &str, )
src/jit-runtime/mod.rs:176
↓ 1 callersMethodcompile_max_opt
( &self, function_id: &str, )
src/jit-runtime/mod.rs:193
↓ 1 callersMethodcompile_optimizing
( &self, function_id: &str, )
src/jit-runtime/mod.rs:184
↓ 1 callersFunctioncompute_hash
Compute a simple hash for content
leanr-rag-gateway/src/proof.rs:66
↓ 1 callersMethodcompute_lane_score
( &self, lane: &InferenceLane, cost_weight: f32, latency_weight: f32, )
src/multi-lane/mod.rs:219
↓ 1 callersFunctionconcurrent_spawn_benchmark
(agent_count: usize)
runtime/benches/scheduler.rs:30
↓ 1 callersMethodconnect_hierarchical
(&mut self, agent_id: u64)
runtime/src/topology.rs:146
↓ 1 callersMethodconnect_mesh
(&mut self, agent_id: u64)
runtime/src/topology.rs:70
↓ 1 callersMethodconnect_ring
(&mut self, agent_id: u64)
runtime/src/topology.rs:90
↓ 1 callersMethodconnect_star
(&mut self, agent_id: u64)
runtime/src/topology.rs:120
↓ 1 callersFunctionconsensus_node
(node_id: u64, mailbox: Mailbox<Proposal>)
runtime/examples/quorum_consensus.rs:26
↓ 1 callersFunctionconsolidate
Consolidate recent episodes
src/agentdb/memory_consolidation.rs:8
↓ 1 callersMethodcontains_point
(&self, x: f64, y: f64)
examples/grid-operator/safety_bounded_grid.rs:47
↓ 1 callersFunctionconvertToCommonJS
* Convert ES Module syntax to CommonJS
npm/lean-agentic/scripts/build.js:61
↓ 1 callersMethodcost_stats
Get cost statistics
src/multi-lane/mod.rs:323
↓ 1 callersFunctioncreateDemo
()
npm/lean-agentic/src/index.js:57
↓ 1 callersFunctioncreateDemo
()
npm/lean-agentic/src/node.js:68
↓ 1 callersMethodcreateIdentity
* Create identity function: λx:Type. x * @returns {string} JSON representation of the identity function
npm/lean-agentic/src/index.js:32
↓ 1 callersMethodcreateIdentity
()
npm/lean-agentic/src/node.js:19
← previousnext →201–300 of 1,015, ranked by callers