Stars
A-RAG: Agentic Retrieval-Augmented Generation via Hierarchical Retrieval Interfaces. State-of-the-art RAG framework with keyword, semantic, and chunk read tools for multi-hop QA.
Self-correcting extension of Hierarchical Reasoning Models. Outperforms HRM by 10.5% on Sudoku-Extreme and 6% on Maze-Hard without increasing model size.
Agentic-RAG explores advanced Retrieval-Augmented Generation systems enhanced with AI LLM agents.
A markup-based typesetting system that is powerful and easy to learn.
Codebase for LLM Textual Hallucination Benchmark
A multi-programming language benchmark for LLMs
Group Exam in 4630 Advanced Machine Learning and Deep Learning
MCP server for Slither static analysis of Solidity smart contracts
Transmits signed USDC payments over sound using a custom OOK audio modem with Goertzel detection. Compresses x402 handshakes to 138 bytes, settling on Base through 36 seconds of 2400 Hz beeping.
Exam code for 4620 computational intelligence
Exam group project for group 1
Vehicle Routing Problem Using Quantum-Inspired Evolutionary Algorithms
HexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug b…
Hierarchical Reasoning Model Official Release
blockworks-foundation / checked-math
Forked from rylev/overflowA Rust proc macro for automatically re-writing math expressions to include overflow checking
A collection of resources to study Solana smart contract security, auditing, and exploits.
The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs and smart contracts written in Rust.
☠️ Common Security Exploits and Protections on Solana
OWASP Smart Contract Top 10
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…