Open-source LLM knowledge platform that turns documents into a searchable RAG system, a multi-step reasoning agent, and a maintained wiki.
Autonomous API and web-app penetration testing tool that runs a swarm of AI agents to chain exploits and prove vulnerabilities.
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.