- Newcastle, UK
Highlights
- Pro
Pinned Loading
-
agentic-search
agentic-search PublicA tool that automates web search and the retrieval of text and images for AI agents
Rust
-
rationale
rationale PublicDeterministic rationale proofs for code changes, with a Rust host, OCaml kernel, and MCP handoff.
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



