a formally verified agentic system for capability-bounded autonomous reasoning
☆15Oct 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for LNkernel
Users that are interested in LNkernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run AI models on Apple Silicon and Raspberry Pi☆46Updated this week
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 11 months ago
- khive is a system of records and operations for agent-native organizations☆34Updated this week
- Coaching-first Claude skill for designing gatherings, meetups, hackathons, workshops, and communities☆13Aug 5, 2026Updated 2 months ago
- CVE-bench — conformant reproduce-and-fix security benchmark from public CVEs + OSS fix-PRs/tests. Apply-patch -> run the security test (F…☆25Jun 27, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Learn-RV — Become a genius using Cognitum One See or RuVector. Pure-Rust CLI that turns videos into queryable knowledge bases stored in…☆14Jul 18, 2026Updated 3 months ago
- WiFi Veil — a privacy firewall against unauthorized WiFi sensing. Compliant waveform controls only, never jamming. SYNTHETIC/L0 evidence,…☆26Aug 9, 2026Updated 2 months ago
- Agentic Quality Engineering Fleet powered by LionAGI☆14Dec 3, 2025Updated 10 months ago
- Interactive claude-flow v3 orchestration coach skill - guides topology selection, agent deployment, memory config & intelligence layers. …☆23Feb 3, 2026Updated 8 months ago
- Real-time human pose detection and motion tracking system using TensorFlow.js☆18Oct 23, 2026Updated last week
- Part of Cognitum platform (see cognitum-one/cognitum meta-repo)☆22Oct 23, 2026Updated last week
- Real-time network traffic visualization and AI-powered privacy analysis dashboard. Exposes every connection, tracker, and byte leaving yo…☆27Mar 28, 2026Updated 7 months ago
- SimpleAgents lets anyone vibe-code LLM agents and ship them production-ready. It’s Rust-first with Python/Node/Go bindings, multi-provide…☆34Jun 6, 2026Updated 4 months ago
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆26Jul 20, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Apr 9, 2026Updated 6 months ago
- Simple repo containing claude skills I have created. Drop these into your .claude/skills directory.☆18Sep 25, 2026Updated last month
- Helix — a private, local-first, anti-hallucination Personal Health Intelligence platform on the ruvnet stack (Ruflo + RuVector + Cognitum…☆52Oct 10, 2026Updated 2 weeks ago
- Sci-fi dashboard framework for Claude Code. Profile data, match a design language, build a single-file HTML mockup with real bindings, QA…☆40Aug 28, 2026Updated 2 months ago
- test results from Bradley's savant ai compared to base model and existing SOTA agents☆14Nov 21, 2025Updated 11 months ago
- A grown environmental intelligence fabric for trustworthy electronic and living-system observations.☆35Aug 2, 2026Updated 2 months ago
- Detachable file viewer and git aware file tree.☆28Nov 6, 2025Updated 11 months ago
- Obsidian-vault knowledge graph engine: immersive 3D + XR (WebXR/OpenXR, Godot), CUDA force physics, OWL 2 EL reasoning, and embodied agen…☆99Updated this week
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆22Jan 24, 2026Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆20Updated this week
- Reformat a live LLM token stream inflight — separate thinking from answer, collapse repetition, normalize. Google Vertex / OpenRouter / m…☆21Aug 17, 2026Updated 2 months ago
- A Biologically-Inspired Cognitive Architecture for Artificial General Intelligence☆16May 10, 2026Updated 5 months ago
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆60Oct 25, 2025Updated last year
- Pixel-native visual RAG ported to Rust on the ruvector ANN substrate (HNSW + IVF-Flat) — screenshot/document retrieval over visual embedd…☆45Jun 26, 2026Updated 4 months ago
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆91Oct 10, 2026Updated 2 weeks ago
- Specs that enforce themselves. Turn specs into contracts that can't be broken by helpful LLMs.☆26Updated this week
- ☆86Updated this week
- RVM — The Virtual Machine Built for the Agentic Age, in Rust.☆150Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Every night, millions spend up to 45 minutes deciding what to watch — billions of hours lost every day. Not from lack of content, but fro…☆26Dec 8, 2025Updated 10 months ago
- Gold-standard course design templates for AI-first education by Bradley.Academy. For course designers, instructional developers, and AI a…☆20Dec 4, 2025Updated 10 months ago
- adapt data to and from every format☆28Apr 27, 2026Updated 6 months ago
- Platform Evolution Engine. Distill the best from the combinatorial mess.☆211Oct 21, 2026Updated last week
- Bidirectional communication between Claude Code CLI and Telegram. Control your Claude Code sessions from your phone.☆15Oct 6, 2026Updated 3 weeks ago
- Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no so…☆44Oct 7, 2026Updated 3 weeks ago
- ☆20Nov 13, 2024Updated last year