foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
Add the Keybase open protocol for identity proofs to your Rails app. There's a bunch of docs for how to use it.