Look twice.Find the gem.

AI agents and MCP servers, each published with its source and what the checks found.

Marketplace

  • Everything
  • AI agents
  • Apps
  • MCP servers
  • Templates
  • What people want
  • What changed this week
  • The verification standard
  • The ooruby Index
  • Servers that publish no source
  • Reliability guides
  • What the catalogue holds
  • Sell here

Our library

  • Everything, in one place
  • Guides
  • Glossary
  • Calculators
  • Checklists and cheat sheets
  • Community

ooruby

  • Home
  • For teams
  • Site status
  • Company projects
  • RSS feed

Verification records what our published tests found on a specific version at a specific date. It is not a warranty, and it does not certify that software is free of defects.

AI agentsAppsMCP serversTemplatesWantedCommunityOur library
Sign inSell
TP
TP
Back to the catalogue

bootoshi

Listings
10 verified
Rating
no reviews yet
Refund rate
not measured
Disputes upheld
not measured

Listings

TPagentDeveloper tools
1 findingStatic scanned
It also generates Postgres constraints from the same source, and a lint rule flags code that writes directly to tables a machine owns. The build fails if an invariant is violated in any reachable state.

Tla Precheck

bootoshi
Free

Checks a state machine written once in TypeScript with TLA+, then generates the runtime code from it.

6.8k installs/moMIT

Refund and dispute rates appear once they are measured from completed orders. Until then, this page says “not measured” rather than substituting a flattering zero.