Search Packages

browseaidev

Reliable research infrastructure for AI agents. Evidence-backed web search with citations, confidence scores, and Clarity anti-hallucination. MCP server, REST API, Python SDK.

csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

verbatim-rag

A minimalistic RAG system that prevents hallucination by ensuring all generated content is explicitly derived from source documents

proof-citations

AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted

proof-engine-registry

AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted

proof-engine-wiki

Attach verified Proof Engine proofs to LLM-wiki claims.

verbatim-core

Hallucination-prevention RAG system with verbatim span extraction. Ensures all generated content is grounded in source documents with exact citations.

browseai

Reliable research infrastructure for AI agents. Evidence-backed web search with citations, confidence scores, and Clarity anti-hallucination. MCP server, REST API, Python SDK.

crewai-browseaidev

CrewAI integration for BrowseAI Dev — research infrastructure with Grounded Intelligence for AI agents

llamaindex-browseaidev

Reliable research infrastructure for AI agents. Evidence-backed web search with citations, confidence scores, and Clarity anti-hallucination. MCP server, REST API, Python SDK.

langchain-browseaidev

Reliable research infrastructure for AI agents. Evidence-backed web search with citations, confidence scores, and Clarity anti-hallucination. MCP server, REST API, Python SDK.

oacp

Democratic governance layer for LangGraph multi-agent systems. Adds voting, consensus, adaptive prompting & audit trails to prevent AI hallucinations through collaborative decision-making.