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
Methodselect_with_rl
( &self, _state: &[f32], )
src/multi-lane/lane_selector.rs:12
Methodsolve_constraints
Solve pending constraints
leanr-elab/src/elaborate.rs:585
Methodspan_text
Get the text for a span
leanr-syntax/src/span.rs:113
Methodstats
Get reduction statistics
leanr-eval-lite/src/normalize.rs:249
Methodstats
Get arena statistics
lean-agentic/src/arena.rs:95
Methodstats
Get conversion statistics
lean-agentic/src/conversion.rs:357
Methodsteal_work
Steal work from random victim
runtime/src/scheduler.rs:270
MethodstoreTheorem
(theorem)
npm/lean-agentic/src/agentdb-integration-simple.js:60
Methodstore_episode
Store episode in memory
src/agentdb/mod.rs:171
Methodstore_episode
Store episode in vector database
src/agentdb/vector_store.rs:43
Methodstore_fact
Store semantic fact
src/agentdb/vector_store.rs:62
Methodsublinear_search
Sub-linear proof search using learned heuristics
examples/05_browser_theorem_prover.rs:316
Methodsuccess_count
Get count of successful requests
leanr-rag-gateway/src/audit.rs:144
Methodsynthesize_tests
Mutation-guided test synthesis
src/llm-compiler/mod.rs:128
Methodterms
Get the number of terms in the arena
lean-agentic/src/arena.rs:90
Functiontest_access_control
()
leanr-rag-gateway/src/policy.rs:175
Functiontest_add_episode
()
examples/memory-copilot/explainable_memory.rs:366
Functiontest_agentdb_performance
()
tests/integration_test.rs:22
Functiontest_allow_user_policy
()
tests/unit/rag_gateway_tests.rs:21
Functiontest_app_spine
()
lean-agentic/src/arena.rs:217
Functiontest_assign_mvar
()
leanr-elab/src/metavar.rs:123
Functiontest_audit_bundle_export
()
examples/memory-copilot/explainable_memory.rs:466
Functiontest_audit_logging
()
leanr-rag-gateway/src/audit.rs:168
Functiontest_backpressure
()
runtime/src/mailbox.rs:268
Functiontest_basic_query
()
leanr-rag-gateway/src/lib.rs:243
Functiontest_basic_term_creation
()
lean-agentic/src/lib.rs:79
Functiontest_basic_unification
()
lean-agentic/src/unification.rs:332
Functiontest_batch_processing
()
tests/unit/rag_gateway_tests.rs:362
Functiontest_batch_search
()
src/agentdb/vector_store.rs:173
Functiontest_beta_reduction
()
leanr-eval-lite/src/normalize.rs:275
Functiontest_beta_reduction
()
lean-agentic/src/conversion.rs:399
Functiontest_binder_info
()
lean-agentic/src/term.rs:257
Functiontest_blocked_request_logged
()
tests/unit/rag_gateway_tests.rs:317
Functiontest_budget_exceeded
()
examples/finance/verified_finance_agent.rs:361
Functiontest_cache_clear
()
leanr-eval-lite/src/cache.rs:111
Functiontest_cache_efficiency
()
lean-agentic/src/arena.rs:239
Functiontest_cache_hit_rate
()
leanr-eval-lite/src/normalize.rs:323
Functiontest_cache_operations
()
leanr-eval-lite/src/cache.rs:82
Functiontest_causal_edges
()
examples/memory-copilot/explainable_memory.rs:406
Functiontest_channel
()
runtime/src/orchestration.rs:335
Functiontest_church_rosser_confluence
()
leanr-theorems/src/confluence.rs:393
Functiontest_compilation_benchmarks
()
tests/benchmarks/benchmark_suite.rs:462
Functiontest_concurrent_queries
()
tests/unit/rag_gateway_tests.rs:463
Functiontest_confluence_complex_term
()
leanr-theorems/src/confluence.rs:416
Functiontest_confluence_preservation
()
leanr-theorems/src/hashcons_confluence.rs:424
Functiontest_constant_function
()
tests/elaboration/test_simple.rs:36
Functiontest_context_basic
()
lean-agentic/src/context.rs:177
Functiontest_context_guard
()
lean-agentic/src/context.rs:210
Functiontest_context_push_pop
()
leanr-elab/src/context.rs:90
Functiontest_coordination_benchmarks
()
tests/benchmarks/benchmark_suite.rs:455
Functiontest_cost_budget_routing
()
tests/unit/rag_gateway_tests.rs:202
Functiontest_cost_savings
()
src/multi-lane/mod.rs:357
Functiontest_cost_tracking
()
src/multi-lane/cost_tracker.rs:188
Functiontest_cpu_intensity
()
runtime/src/profile.rs:109
Functiontest_credit_card_masking
()
tests/unit/rag_gateway_tests.rs:141
Functiontest_debruijn_indices
()
lean-agentic/src/context.rs:192
Functiontest_deny_user_policy
()
tests/unit/rag_gateway_tests.rs:42
Functiontest_diamond_property
()
leanr-theorems/src/confluence.rs:374
Functiontest_different_terms
()
lean-agentic/src/arena.rs:206
Functiontest_duplicate_declaration
()
lean-agentic/src/environment.rs:329
Functiontest_elaborate_simple
()
leanr-elab/src/elaborate.rs:598
Functiontest_email_masking
()
tests/unit/rag_gateway_tests.rs:121
Functiontest_emergency_stop
()
examples/grid-operator/safety_bounded_grid.rs:457
Functiontest_empty_question
()
tests/unit/rag_gateway_tests.rs:390
Functiontest_empty_sources
()
tests/unit/rag_gateway_tests.rs:407
Functiontest_end_to_end_optimization
()
tests/integration_test.rs:8
Functiontest_environment_basic
()
lean-agentic/src/environment.rs:312
Functiontest_environment_fork
()
lean-agentic/src/environment.rs:342
Functiontest_episode_storage
()
src/agentdb/mod.rs:272
Functiontest_eval_config_creation
()
leanr-eval-lite/src/lib.rs:149
Functiontest_explanation_generation
()
examples/memory-copilot/explainable_memory.rs:430
Functiontest_export_report
()
leanr-rag-gateway/src/audit.rs:189
Functiontest_fresh_mvar
()
leanr-elab/src/metavar.rs:112
Functiontest_fuel_exhaustion
()
leanr-eval-lite/src/normalize.rs:302
Functiontest_fuel_exhaustion
()
lean-agentic/src/conversion.rs:420
Functiontest_full_benchmark_suite
()
tests/benchmarks/benchmark_suite.rs:474
Functiontest_hash_consing
()
lean-agentic/src/arena.rs:193
Functiontest_hash_consing_invariant
()
leanr-theorems/src/hashcons_confluence.rs:405
Functiontest_human_exclusion_violation
()
examples/grid-operator/safety_bounded_grid.rs:393
Functiontest_identifiers
()
leanr-syntax/src/lexer.rs:474
Functiontest_identity_function
()
tests/elaboration/test_simple.rs:30
Functiontest_imax_reduction
()
lean-agentic/src/level.rs:231
Functiontest_implicit_insertion
()
leanr-elab/src/implicit.rs:52
Functiontest_impossible_sla_fails
()
tests/unit/rag_gateway_tests.rs:222
Functiontest_inductive
()
leanr-syntax/src/parser.rs:764
Functiontest_into_payload
()
runtime/src/message.rs:115
Functiontest_iso_is_sendable
()
runtime/src/capabilities.rs:157
Functiontest_iso_message
()
runtime/src/message.rs:96
Functiontest_iso_to_val_conversion
()
runtime/src/capabilities.rs:186
Functiontest_jit_tiering
()
tests/integration_test.rs:36
Functiontest_kelly_violation
()
examples/trading/risk_bounded_trading.rs:428
Functiontest_keywords
()
leanr-syntax/src/lexer.rs:448
Functiontest_lambda
()
leanr-syntax/src/parser.rs:757
Functiontest_lambda_expr
()
tests/elaboration/test_simple.rs:42
Functiontest_lambda_typing
()
lean-agentic/src/typechecker.rs:315
Functiontest_lane_routing
()
src/multi-lane/mod.rs:341
Functiontest_latency_kpi
()
examples/finance/verified_finance_agent.rs:456
Functiontest_latency_target
()
tests/unit/rag_gateway_tests.rs:342
Functiontest_lease_manager
()
runtime/src/orchestration.rs:356
Functiontest_ledger_conservation
()
examples/finance/verified_finance_agent.rs:383
← previousnext →801–900 of 1,015, ranked by callers