The trust harness for AI agents. Set what an agent can do before it acts.
One address for any MCP client. You sign in once, after adding it.
At most: only reads or looks up information.
Odel charges nothing per call. The publisher may charge for its own service.
Odel could not list its tools without signing in.
This repository preserves the original NEUS monorepo and is no longer maintained.
Current development:
Product: https://proofable.me
Historical source is preserved in Git history and the neus-final tag.
See MIGRATION.md for the path, package, and host map. License: Apache-2.0. Trademarks: TRADEMARKS.md.